Rare find

LangPro. Tableau-based Theorem Prover for Natural Logic and Language

github.com/kovvalsky/LangPro
by @kovvalsky

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.