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

#49, Minor redundance in README #50

Closed andreas-roehler closed 6 years ago

lex-lex commented 6 years ago

Hmmm... I think I like it better the way it was before. It's not obvious to me that the section headings denote hyperlinks. After all, if there is hard no space limitation, a little redundancy doesn't hurt :)

andreas-roehler commented 6 years ago

On 30.01.2018 15:00, Alexander Steen wrote:

Hmmm... I think I like it better the way it was before. It's not obvious to me that the section headings denote hyperlinks. After all, if there is hard no space limitation, a little redundancy doesn't hurt :)

—

Okay, after all, think you are right.

BTW IMO such discussion would be better at the ticket-page, not at the request - unless not the issue baut the diff is in question. Doesn't matter for now, as this gets closed.

Grüße, Andreas