search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

Prose in doc page easily causes minor misunderstanding about Lean versions #62

Closed philnguyen closed 7 years ago

philnguyen commented 7 years ago

In the documentation page, subsection Lean 2, I think first paragraph The previous version of Lean ... should change to This previous version of Lean ... to be clearer.

Somebody skimming over the page (like me) could think The refers to Lean in the previous section, and Lean 2 is an upcoming version (without realizing that Lean 3 is current),