Home

LangPro

Public

Tableau-based Theorem Prover for Natural Logic and Language

Creat:2017-03-06T02:57:57
Update:2025-01-15T07:20:43
120
Stars
1
Stars Increase

Related projects