Lean Class Notes
Lean Class Notes
Table of Contents
1.
Table of Contents
2.
Introduction and Definitions
3.
Structures
4.
Classes and Typeclasses
1. Table of Contents
→
CMI 2026 - Lean Class Notes
🔗
Marly Gotti
Contents
1.
Table of Contents
2.
Introduction and Definitions
3.
Structures
4.
Classes and Typeclasses
1. Table of Contents
→