Missing link from FU-page

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

Closed andreas-roehler closed 5 years ago

andreas-roehler commented 5 years ago

Starting from

there was a link to some release here, but no mention like "Developing..." pointing to this repo. Suggesting a new chapter after "Downloads".

lex-lex commented 5 years ago

Good point, I will address this.

lex-lex commented 5 years ago

Done :) There's now a Github-corner-icon at the leo3 page pointing to the repository.