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 Install.MD
#77
Open
lex-lex
opened
3 months ago