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
#47, License - link and subtitle from README
#48
Closed
andreas-roehler
closed
6 years ago