GitHub - nick8325/equinox: Paradox model finder and equinox theorem prover for first-order logic.

nick8325 / equinox Public

Notifications You must be signed in to change notification settings
Fork 4
Star 20

Paradox model finder and equinox theorem prover for first-order logic.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 258 Commits
Haskell		Haskell
Lists		Lists
Problems		Problems
instantiate		instantiate
.gitignore		.gitignore
LICENSE		LICENSE
README		README
paradox.cabal		paradox.cabal
stack.yaml		stack.yaml

Repository files navigation

This repository holds various tools for first-order logic:

* paradox, a finite model finder
* equinox, a theorem prover
* infinox, a tool for proving that no finite models exist

Build with cabal or stack.