Closed avigad closed 7 years ago
@leodemoura I was tempted to move the folders cade25, ijcar16, popl17 into a "presentations" folder, but then it occurred to me that some publications might link to the first two. Should I leave them where they are?
Yes, there are external links to them.
As they say in Pittsburgh, I decided to "red up" the Lean home page. The main changes are these:
I added two documents to the documentation page, providing basic information about Lean and Emacs. I'll remove the corresponding information from Theorem Proving in Lean and refer to those.
I added links to all our tutorials (with a warning that they are still under construction).
I moved the publications to a separate "publications" page and added some things (like Jakob's and Sebastian's theses).
I got rid of the "fork me on Github" ribbon because I think it looked ugly. (There are ample links to the github repos.)
I also made lots of small corrections and stylistic changes.
We have too many ways of referring to Lean, e.g. Lean, lean, LEAN, lean3, Lean3, Lean 3.0, etc. Let's uniformize them in public documents: "Lean" when talking about the system generically, and "Lean 2" and "Lean 3" when we need to distinguish versions. We can start using decimals (Lean 3.0, Lean 3.1, Lean 3.1415, ...) when we begin to mark individual releases.
@leodemoura I was tempted to move the folders cade25, ijcar16, popl17 into a "presentations" folder, but then it occurred to me that some publications might link to the first two. Should I leave them where they are?