Mathematics in Lean
===================

.. toctree::
   :numbered:
   :maxdepth: 2

   C01_Introduction
   C02_Basics
   C03_Logic
   C04_Sets_and_Functions
   C05_Elementary_Number_Theory
   C06_Discrete_Mathematics
   C07_Structures
   C08_Hierarchies
   C09_Groups_and_Rings
   C10_Linear_Algebra
   C11_Topology
   C12_Differential_Calculus
   C13_Integration_and_Measure_Theory

.. toctree::
   :hidden:

   genindex