10

8

6

4

2


2.9

2.7

1 g4ip package

  • g4ip-prover

    2.9 2.7 Haskell
    Theorem prover for intuitionistic propositional logic using G4ip

Add another 'g4ip' Package