Haskell Logic g4ip

4.1

0.0

g4ip-prover

g4ip-prover

4.1 0.0 Haskell

Theorem prover for intuitionistic propositional logic using G4ip

Subscribe to our newsletter
to know all the trending packages, news and articles.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.