1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18

.. _basics:

Basics
======

This chapter is designed to introduce you to the nuts and
bolts of mathematical reasoning in Lean: calculating,
applying lemmas and theorems,
and reasoning about generic structures.

.. include:: C02_Basics/S01_Calculating.inc

.. include:: C02_Basics/S02_Proving_Identities_in_Algebraic_Structures.inc

.. include:: C02_Basics/S03_Using_Theorems_and_Lemmas.inc

.. include:: C02_Basics/S04_More_on_Order_and_Divisibility.inc

.. include:: C02_Basics/S05_Proving_Facts_about_Algebraic_Structures.inc