This repository contains the teaching materials used in Madlean sessions.
Here you'll find notes, exercises, and other resources created by us and updated over time as the sessions evolve.
Clone the repository and just try to do the exercises yourself! You can also find solutions in the MadleanTeaching/Solutions/ folder.
You can also open the files directly in the Lean4 web editor:
| Topic | Exercises | Solutions |
|---|---|---|
| Propositional Logic | Open | Open |
| Functions | Open | Open |
Contents and organization of the repo will change a lot over the next few months. So stay updated!