Thesis version
Pre-release
Pre-release
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
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