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.
of 3 versions of CHANGE
1-3Sort by
Date
3ba16a1
v4.23.0336.9 KB2c86388
v4.23.0v4.23.0e53896c
v4.17.0-rc1v4.17.0-rc1