Fibo Kowalsky
Results
1
repositories owned by
Fibo Kowalsky
LangPro
110
Stars
10
Forks
Watchers
Tableau-based Theorem Prover for Natural Logic and Language
