Haskell Logic g4ip

1 g4ip package

• g4ip-prover

  3.9 0.0 Haskell

  Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip