Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
Introduction
1.
Lean and its type theory
2.
Mathematics
3.
Projects
4.
Appendix
5.
Organization
6.
Bibliography
Source Code
Report Issues
