Mathematics in Lean
  • 1. Introduction
  • 2. Basics
  • 3. Logic
  • 4. Sets and Functions
  • 5. Number Theory
  • 6. Topology
  • Index
Mathematics in Lean
  • »
  • Search

© Copyright 2020, Jeremy Avigad, Kevin Buzzard, Robert Y. Lewis, Patrick Massot.

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