1 result found Sort:

kovvalsky
LangPro kovvalsky
12
116
bsd-3-clause
8
Tableau-based Theorem Prover for Natural Logic and Language
nli prolog natural-logic theorem-prover natural-tableau theorem-proving formal-semantics semantic-tableau lambda-logical-form natural-language-inference natural-language-processing
Created 2017-03-05
138 commits to master branch, last one about a year ago