https://github.com/pitmonticone/leanchange

Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.

analysis differential-geometry formal-mathematics formalised-mathematics geometric-analysis geometry interactive-theorem-proving lean-blueprint lean-project lean4 proof-assistant seminar talk

Last synced: 14 Mar 2026