An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
BSD 3-Clause "New" or "Revised" License
41
stars
10
forks
source link
#45, Provide "java -jar leo3.jar" at INSTALL binary section #46
Closed
andreas-roehler closed 6 years ago