GitHub repository: nick8325/equinox
Primary language: Haskell
Description: Paradox model finder and equinox theorem prover for first-order logic.