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.
Displaying 1-2 of 2 versions of CHANGE
Sort by
Date
Not a part of any version track.
a0996b8
3 months ago
Released on February 11, 2025 at 11:32:39PM
Commit a0996b8 builds on its old leanprover/lean4:v4.17.0-rc1
v4.17.0-rc1
98.0 KB Build archive size: 97980 bytes.
Not a part of any version track.
e53896c
v4.17.0-rc1
3 months ago
Released on February 9, 2025 at 7:56:30PM
Build data not currently included on Reservoir. See the package repository's CI instead.