Notes on Lean
Notes on Lean
Table of Contents
1.
Introduction
2.
Foundations
3.
Constructions
4.
Relating types
5.
Axioms
6.
Index
1. Introduction
→
Notes on Lean
🔗
Lauri Oksanen
Niklas Halonen
lauri.oksanen@helsinki.fi
Contents
1.
Introduction
2.
Foundations
3.
Constructions
4.
Relating types
5.
Axioms
6.
Index
1. Introduction
→