Teaching materials
Formalization in Lean
Introductory Sage/Python material
Sessions de preparació (curs 2024-25)