All Git Users → leoprover

1 open source projects by leoprover

[ Open user page on Github ]

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

✭ 29

scala OpenEdge ABL ANTLR python shell perl logic theorem-proving atp higher-order-logic reasoning deduction-system

1-1 of 1 user projects