@hackage / g4ip-prover

Theorem prover for intuitionistic propositional logic using G4ip

Latest2.0.0.0

Changelog

This release does not have a Changelog