Teaching

Teaching materials

Formalization in Lean

Introductory Sage/Python material

Sessions de preparació (curs 2025-26)

Various side projects