leanprover / leanprover.github.io

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

feat(documentation/online): document online version of Lean #57

Closed avigad closed 7 years ago

avigad commented 7 years ago

@kha Let me know if I am missing anything.

I am thinking of adding another button for the publications page. (For consistency, this should mean moving it to a separate folder.) On the negative side, adding a button is more clutter. On the positive side, the publications are important, and this will make it easier for users to notice and find them.

Thoughts?