Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
The Linux terminal
3.
Installing Lean
4.
The library
5.
The LLM
6.
How to read Lean
7.
How to contribute
8.
Formalize your paper
9.
What's next?