|
33c5245b80
|
Skip input predicates in completion
|
2019-11-07 02:17:49 -06:00 |
|
|
a802b9f8fd
|
Rename Statement to FormulaStatement
|
2019-11-07 01:12:26 -06:00 |
|
|
a206812d80
|
Implement forward and backward proofs with all new directives correctly
|
2019-11-07 00:53:50 -06:00 |
|
|
2411781728
|
Add lemma directives
|
2019-11-06 22:42:42 -06:00 |
|
|
e933c45079
|
Tag completion directives with source
|
2019-11-06 21:20:06 -06:00 |
|
|
7da722aeec
|
Implement backward proofs
|
2019-11-06 12:52:08 -06:00 |
|
|
bce9d8061c
|
Verify all assertions one after the other
|
2019-11-06 04:36:51 -06:00 |
|
|
3bf78115cf
|
Add completion, assumption, and assertion directives
|
2019-11-06 00:18:30 -06:00 |
|
|
b0173a7b9a
|
Support comments and don’t touch input more than necessary
|
2019-11-05 12:44:28 -06:00 |
|
|
52d8c84bc0
|
Finish first version of interactive prover
|
2019-11-02 07:23:47 +01:00 |
|
|
7d47910cfa
|
Initial project file parser
|
2019-11-02 02:13:45 +01:00 |
|