#42, Splitt README.md - Githubissues

leoprover / Leo-III

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

BSD 3-Clause "New" or "Revised" License

42 stars 10 forks source link

Closed andreas-roehler closed 6 years ago