This adds a link to the reference manual, modifies the description of the tutorials, eliminates an outdated and incorrect "Using Lean" section, and adds a link to a "Using Lean" chapter in the reference manual.
I have asked @gebner for help improving the chapter in the reference manual, but in the meanwhile, it is better than the markdown files currently on leanprover.github.io.
This adds a link to the reference manual, modifies the description of the tutorials, eliminates an outdated and incorrect "Using Lean" section, and adds a link to a "Using Lean" chapter in the reference manual.
I have asked @gebner for help improving the chapter in the reference manual, but in the meanwhile, it is better than the markdown files currently on leanprover.github.io.