GitHub repository: knrafto/prover
Primary language: Haskell
Description: An experimental theorem prover