| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
G4ipProver
Documentation
module G4ipProver.Parser
module G4ipProver.Prover
module G4ipProver.Proposition
module G4ipProver.LaTeXExporter
g4ip-prover-2.0.0.0: Theorem prover for intuitionistic propositional logic using G4ip
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
G4ipProver
module G4ipProver.Parser
module G4ipProver.Prover
module G4ipProver.Proposition
module G4ipProver.LaTeXExporter