Tableau-based Theorem Prover for Natural Logic and Language
The 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
A Natural Proof System for Natural Language