Formalising Mathematics

Contents:

  • Introduction
  • Installing Lean
  • Part 1: Lean tips
  • Part 2: Tactics
Formalising Mathematics
  • Search

© Copyright 2025, Bhavik Mehta.

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