AIbase

LangPro

Public

Tableau-based Theorem Prover for Natural Logic and Language

Creat2017-03-06T02:57:57
Update2025-01-15T07:20:43
118
Stars
0
Stars Increase

Related projects