Rare find

leanTAP. A Declarative Theorem Prover for First-Order Classical Logic

github.com/namin/leanTAP
by @namin

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.