All Categories → No Category → deduction-system

Top 1 deduction-system open source projects

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 deduction-system projects