g4ip-prover (hackage): Theorem prover for intuitionistic propositional logic using G4ip
Keywords: library|logic|mit|program