Lean Class Notes

1. Table of Contents🔗

  1. Introduction and Definitions

  2. Structures

  3. Classes and Typeclasses