search

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

Minor redundance in README #49

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

For example instead of

Install

See INSTALL.md

we could write just

INSTALL.md

That would save some lines and reduce needs of scrolling. Will see if it works in MD.

andreas-roehler commented 6 years ago

Closing as not as helpful as thought first; following Alex' comment at the PR.