Haskell Logic g4ip

1 g4ip package

• g4ip-prover

  3.4 0.0 Haskell

  Theorem prover for intuitionistic propositional logic using G4ip