semantic-tableau topic
List
semantic-tableau repositories
LangPro
110
Stars
10
Forks
Watchers
Tableau-based Theorem Prover for Natural Logic and Language
