search

leoprover / Leo-III

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

#58, Usage.md mention path/to/executable #59

Closed andreas-roehler closed 6 years ago

lex-lex commented 6 years ago

See reply to #58