leo3.jar missing - Githubissues

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 1 week ago

andreas-roehler commented 1 week ago

Calling leo3 sends:

Error: Unable to access jarfile leo3.jar

Using a leo3-v1.6.jar from a previous installation and linking as leo3.jar makes it work.

andreas-roehler commented 1 week ago

Ahh, see the binary has to loaded separately. It's not part of the source. Closing.