Leo provers and associated projects

icon indicating a website link leoprover.org

icon location LEO-II and Leo-III are automated theorem provers for classical higher-order logic.

Results 1 repositories owned by Leo provers and associated projects

Leo-III

41
Stars
9
Forks
Watchers

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

verified publisher icon leoprover