search

nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.
MIT License
19 stars 4 forks source link

Paradox and equinox not on system on TPTP? #15

Open danr opened 7 years ago

danr commented 7 years ago

:(

I wanted to see a paradox model today!