Formalising Mathematics

Contents:

  • Introduction
  • Getting Lean running on your computer
  • Part A: the mathematics
  • Part B: Lean tips
  • Part C: Tactics
Formalising Mathematics
  • Search

© Copyright 2022, Kevin Buzzard.

Built with Sphinx using a theme provided by Read the Docs.