Patrick Lühne 3c94f677fc Update foliage

2019-11-05 15:54:09 -06:00

foliage @ 9076ecd95d

Update foliage

2019-11-05 15:54:09 -06:00

src

Fix variable names in TPTP

2019-11-05 13:58:21 -06:00

.gitignore

Initial project file parser

2019-11-02 02:13:45 +01:00

.gitmodules

Initial project file parser

2019-11-02 02:13:45 +01:00

Cargo.toml

Finish first version of interactive prover

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

Description

No description provided

82 KiB

Languages

Rust 100%