Cross-Reference Redirection

Cross-Reference Redirection

Table of Contents

	Introduction
1.	Lean and its type theory
2.	Mathematics
3.	Appendix
4.	Projects
5.	Bibliography
6.	Slides

Source Code
Report Issues