kovvalsky / LangProLinks

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

Alternatives and similar repositories for LangPro

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

Sorting: