kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
1 Releases
Latest: 9y ago
Thesis version0.1LatestPre-release
kovvalsky·9y ago·March 26, 2017The release is the version of the prover which is described in the PhD thesis `A Natural Proof System for Natural Language` at http://naturallogic.pro/phd