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

README.md: Provide more useful Further information #56

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

Section "Further information" points to Leo-III Webpage itself. It is self-referentiell also in the remaining part.

Suggest write instead:

Information including related projects, current publications etc. can be found on The TPTP Problem Library for Automated Theorem Proving

Beginners might start with Geoff Sutcliffe's Overview of Automated Theorem Proving

Also suggest to move "Further information" to the end of README.org - as opening to the Proof-Ecosystem.

andreas-roehler commented 6 years ago

Link to Leo-III Webpage is correct and this report basically a mistake. Sorry for the noise.