Haskell Logic g4ip

10

8

6

4

2

3.1

0.0

g4ip-prover

1 g4ip package

g4ip-prover

3.1 0.0 Haskell

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

Popular Comparisons

g4ip-prover

vs

Heyting Algebras

Add another 'g4ip' Package

Do not miss the trending, packages, news and articles with our weekly report.

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