Tableau-based Theorem Prover for Natural Logic and Language
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Grail is a theorem prover for multimodal type-logical grammars
Propositional theorem prover using Wang's algorithm
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
Prove Ducth NLI problems of SICK-NL with LangPro
IPC/CPC theorem prover in Prolog
Add a description, image, and links to the theorem-prover topic page so that developers can more easily learn about it.
To associate your repository with the theorem-prover topic, visit your repo's landing page and select "manage topics."