Lean으로 배우는 수학
====================

.. note::

   이 문서는 `Mathematics in Lean <https://leanprover-community.github.io/mathematics_in_lean/>`_\ 을
   기계 번역 후 검토한 비공식 한국어 번역본입니다. 원문 텍스트는 `CC BY 4.0
   <https://creativecommons.org/licenses/by/4.0/>`_\ 에 따라 이용할 수 있으며,
   이 문서에는 한국어 번역이라는 변경 사항이 적용되었습니다.

.. 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