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