Formalising Mathematics
Contents:
Introduction
Installing Lean
Part A: the mathematics
Part B: Lean tips
Part C: Tactics
Formalising Mathematics
Index
Index