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¶