search

nick8325 / equinox

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

Force push!!! #3

Closed danr closed 12 years ago

danr commented 12 years ago

Actually forgot to add the .cabal file last time!!