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
#56, README.md: Provide more useful Further information #57
Closed
andreas-roehler closed 6 years ago