================================================================================
Preface
================================================================================

Welcome
================================================================================

Overview
================================================================================

Logic
--------------------------------------------------------------------------------

Proof Assistants
--------------------------------------------------------------------------------

Functional Programming
--------------------------------------------------------------------------------

Further Reading
--------------------------------------------------------------------------------

Practicalities
================================================================================

Chapter Dependencies
--------------------------------------------------------------------------------

System Requirements
--------------------------------------------------------------------------------

Exercises
--------------------------------------------------------------------------------

Downloading the Lean Files
--------------------------------------------------------------------------------

Lecture Videos
--------------------------------------------------------------------------------

Note for Instructors
================================================================================

Translations
================================================================================

Thanks
================================================================================