leoprover / Leo-IIILinks

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
47Updated 3 weeks ago

Alternatives and similar repositories for Leo-III

Users that are interested in Leo-III are comparing it to the libraries listed below

Sorting: