Teaching
Teaching materials
Formalization in Lean
Introductory Sage/Python material
Sessions de preparació (curs 2025-26)
Various side projects
Teaching materials
Formalization in Lean
Introductory Sage/Python material
Sessions de preparació (curs 2025-26)
Various side projects