issues
search
leoprover
/
Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
http://inf.fu-berlin.de/~lex/leo3
BSD 3-Clause "New" or "Revised" License
41
stars
10
forks
source link
Update USAGE.md #51
#52
Closed
andreas-roehler
closed
6 years ago