lambda-logical-form topic
List
lambda-logical-form repositories
LangPro
110
Stars
10
Forks
Watchers
Tableau-based Theorem Prover for Natural Logic and Language
