michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(doc/todo): update

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-13 12:24:17 -08:00
parent 7f0e5b3780
commit f90e6f9ae7
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
doc/todo.md
View file

@ -1,7 +1,6 @@
To Do List To Do List
---------- ----------
- Improved pretty printer.
- Generic Tableaux prover. - Generic Tableaux prover.
- [MCSat](http://leodemoura.github.io/files/fmcad2013.pdf) framework. - [MCSat](http://leodemoura.github.io/files/fmcad2013.pdf) framework.
- Independent type checker using a different programming language (e.g., F* or OCaml). - Independent type checker using a different programming language (e.g., LISP/Scheme, F* or OCaml).