Formalising Mathematics
Contents:
Introduction
Getting Lean running on your computer
Part A: the mathematics
Part B: Lean tips
Part C: Tactics
Formalising Mathematics
»
Index
Index