GitHub repository: leoprover/Leo-III
Primary language: Scala
Description: An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics