kovvalsky / LangPro

Tableau-based Theorem Prover for Natural Logic and Language
116Updated 3 months ago

Related projects

Alternatives and complementary repositories for LangPro