kovvalsky / LangPro

Tableau-based Theorem Prover for Natural Logic and Language
117Updated last week

Alternatives and similar repositories for LangPro:

Users that are interested in LangPro are comparing it to the libraries listed below