.. _basics:

Dasar-dasar
===========

Bab ini dirancang untuk memperkenalkan dasar-dasar praktis
penalaran matematis dalam Lean: melakukan perhitungan,
menerapkan lema dan teorema,
serta bernalar tentang struktur umum.

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