ghc-g4ip-prover

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

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