Minor improvment for INSTALL.md

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

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

Tell user how to run the binary by providing java -jar leo3.jar