Formalising Mathematics
Contents:
Introduction
Getting Lean running on your computer
Part A: the mathematics
Part B: Lean tips
Part C: Tactics
Formalising Mathematics
»
Search
Please activate JavaScript to enable the search functionality.