search

leanprover / leanprover.github.io

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

The 'Try Lean' link opens a page which contains "chapters" of the tutorial #27

Closed leodemoura closed 9 years ago

leodemoura commented 9 years ago

I think it is easier to explain by showing the resultant page:

image