diff options
| -rw-r--r-- | todo | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -11,7 +11,7 @@ C (Low) probably not worth wasting time on A Add a small script "example.l" etc to each of the prover subdirectories, for testing/example purposes. (Perhaps proving the same thing? - commutativity of conjunction?) + commutativity of conjunction?) (10min, tms) B Prune dead code. (1h) @@ -158,6 +158,8 @@ A Error messages need to be revised e.g., if an import fails, LEGO but script management only prints the last line. (5h tms) +A release new version of the LEGO proof engine (4h tms) + * Here are things to be done to Coq mode ======================================== |