10

8

6

4

2


3.0

4.0
g4ip-prover

1 g4ip package

  • g4ip-prover

    3.0 4.0 Haskell
    Theorem prover for intuitionistic propositional logic using G4ip
Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free.
More from our partner
SaaSHub - The independent software marketplace. Find the best software and alternatives.
More from our team

Add another 'g4ip' Package