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