namin / leanTAPLinks

A Declarative Theorem Prover for First-Order Classical Logic
28Updated 11 months ago

Alternatives and similar repositories for leanTAP

Users that are interested in leanTAP are comparing it to the libraries listed below

Sorting: