证明的技艺
==========

本书讨论如何书写细致而严谨的数学证明。本书配有以计算机形式化语言
`Lean <https://leanprover.github.io/about/>`_ 写成的代码。请前往配套的 GitHub 仓库
https://github.com/hrmacbeth/math2001，将这些代码下载到自己的计算机，或在 Gitpod 云端打开。

本书面向大学低年级学生，并为 Fordham University 的 Math 2001 课程而写。若有意见或修正，欢迎联系作者
`Heather Macbeth <https://faculty.fordham.edu/hmacbeth1/>`_。

.. toctree::
   :maxdepth: 2

   00_Introduction

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

   01_Proofs_by_Calculation
   02_Proofs_with_Structure
   03_Parity_and_Divisibility
   04_Proofs_with_Structure_II
   05_Logic
   06_Induction
   07_Number_Theory
   08_Functions
   09_Sets
   10_Relations

**附录**

.. toctree::
   Index_of_Tactics
   Mainstream_Lean