An automated theorem prover for intuitionistic propostional logic
Primary LanguageOpenEdge ABLOtherNOASSERTION