cfiorentini/intuitR

Efficient SAT-based theorem prover for Intuituionistic Propositional Logic

GitHub repository with 9 stars and 0 forks.

Language: OpenEdge ABL

Open provider repository