kovvalsky / LangPro

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

Related projects

Alternatives and complementary repositories for LangPro