ghc-g4ip-prover

Implementation of a theorem prover for intuitionistic propositional logic using G4ip, in Haskell.

Refresh
Refresh
Source Files
Filename Size Changed
base-version.patch 0000000518 518 Bytes almost 2 years
g4ip-prover-0.1.0.1.tar.gz 0000053016 51.8 KB almost 2 years
ghc-g4ip-prover.spec 0000002396 2.34 KB almost 2 years
Comments for ghc-g4ip-prover 0