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
Usage.md: added a description of the - parameter which accepts a problem on the stdin #64
Closed
traeger closed 5 years ago
Sry, this does not seams to work anymore. :(