Haskell Logic g4ip

1 g4ip package

• g4ip-prover

  2.9 2.7 Haskell

  Theorem prover for intuitionistic propositional logic using G4ip