Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

New tasks.

  • Loading branch information...
commit b58d812e4b900e70bbd28dcd70a280c1752892a0 1 parent d56d533
Jesse Alama authored
Showing with 4 additions and 0 deletions.
  1. +4 −0 todo.org
View
4 todo.org
@@ -1 +1,5 @@
* TODO Parallelize reprove-semantically
+* TODO Row separators for reprove-summarize
+* TODO Sort premises in reprove-summarize
+* TODO Print *all* principles, even those in the initial theory, in reprove-summarize
+
Please sign in to comment.
Something went wrong with that request. Please try again.