namin / leanTAP

A Declarative Theorem Prover for First-Order Classical Logic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

namin/leanTAP Stargazers