Patrick Lühne b0173a7b9a

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

..

error.rs

Finish first version of interactive prover

2019-11-02 07:23:47 +01:00

format_tptp.rs

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

format.rs

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

lib.rs

Finish first version of interactive prover

2019-11-02 07:23:47 +01:00

main.rs

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

parse.rs

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

project.rs

Support comments and don’t touch input more than necessary

2019-11-05 12:44:28 -06:00

tptp_preamble_anthem_axioms.tptp

Make anthem axiomatization more consistent

2019-11-02 05:07:05 +01:00

tptp_preamble_anthem_types.tptp

Add missing anthem axioms

2019-11-02 04:13:14 +01:00