From a66d4ec42a2d85c6bf7e80bc8abc3a8201b6128d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 14 Sep 2013 23:06:10 -0700 Subject: [PATCH] Update todo.md --- doc/todo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/todo.md b/doc/todo.md index c0b3b3baf..761ebd492 100644 --- a/doc/todo.md +++ b/doc/todo.md @@ -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.