Synthetic Differential Geometry in Lean. - Riccardo Brasca; Gabriella Clemente (CoRR, 2026)