kovvalsky

kovvalsky

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
118 Stars
13 Forks
118 Watchers

Repositories (1)

LangPro kovvalsky/LangPro Prolog

Tableau-based Theorem Prover for Natural Logic and Language

118