mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
.. _introduction:

Introduction
============

.. include:: C01_Introduction/S01_Getting_Started.inc
.. include:: C01_Introduction/S02_Overview.inc