There is a general perception among some students that maths is a dead subject, resulting in their low attendance of maths tutorials. Countering this notion is Andrew’s and Francesco’s development of ...

This tutorial depends on Lean 4, VS Code, and Mathlib. You can find the textbook both online and in this repository in html format or as a pdf document. The book is designed to be read as you work ...