CHANGE
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.
Sort by
Require Order
mathlib
v4.23.0
The math library of Lean 4