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
Building PicoSAT: fixes MacOSX warning, update README #36
Closed
hansjoergschurr closed 8 years ago
The README now asks the user to download PicoSAT before building Leo-III and Maven is marked as broken.