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

Update todo.md

Browse source
This commit is contained in:
Leonardo de Moura 2013-09-14 23:06:10 -07:00
parent b0ad45a268
commit a66d4ec42a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/todo.md
View file

@ -10,7 +10,7 @@ To Do List
- We design our own configuration language.
- We use an off-the-shelf embedded language such as [Lua](http://www.lua.org).
- We use Lean itself.
- Module for reading OpenTheory proofs.
- Module for reading [OpenTheory](http://www.gilith.com/research/opentheory/) proofs.
- Higher-Order unification and matching.
- Rewriter (and Rewriter Combinators).
- MCSat framework.