michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/doc/todo.md
Leonardo de Moura f90e6f9ae7 chore(doc/todo): update
2015-01-13 12:24:17 -08:00

220 B
Raw Blame History

To Do List

  • Generic Tableaux prover.
  • MCSat framework.
  • Independent type checker using a different programming language (e.g., LISP/Scheme, F* or OCaml).