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

Update USAGE.md #51

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

After splitting the original README, both ways --binary loaded or locally built-- should be mentioned. Also move prescipt how to call the binary from INSTALL.md here.

lex-lex commented 6 years ago

Danke!