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

← Lean Class Notes 2. Introduction and Definitions→

1. Table of Contents🔗

Introduction and Definitions
Structures
Classes and Typeclasses

← Lean Class Notes 2. Introduction and Definitions→