leoprover / Leo-IIILinks

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
49Updated last month

Alternatives and similar repositories for Leo-III

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

Sorting: