namin / leanTAPLinks

A Declarative Theorem Prover for First-Order Classical Logic
28Updated last year

Alternatives and similar repositories for leanTAP

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

Sorting: