Patrick Lühne
|
228b2032f7
|
Make anthem axiomatization more consistent
|
2019-11-02 05:07:05 +01:00 |
Patrick Lühne
|
e382058c2d
|
Add missing anthem axioms
|
2019-11-02 04:13:14 +01:00 |
Patrick Lühne
|
306dc7d850
|
Fix typos
|
2019-11-02 03:13:51 +01:00 |
Patrick Lühne
|
a93af5b423
|
Print TPTP type directives for predicates
|
2019-11-02 02:57:20 +01:00 |
Patrick Lühne
|
00169b2144
|
Handle comparisons with nonarithmetic terms
|
2019-11-02 02:26:56 +01:00 |
Patrick Lühne
|
7d47910cfa
|
Initial project file parser
|
2019-11-02 02:13:45 +01:00 |