Projects in Awesome Lists tagged with deduction-system
A curated list of projects in awesome lists tagged with deduction-system .
https://github.com/leoprover/leo-iii
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
atp deduction-system higher-order-logic logic reasoning theorem-proving
Last synced: 21 Aug 2025
