pitmonticoneCHANGE

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-3 of 3 versions of CHANGE
Sort by
  1. Not a part of any version track.
    3ba16a1
    8 days ago
    Released on October 1, 2025 at 11:14:24PM
    Commit 3ba16a1 builds on its recent leanprover/lean4:v4.23.0
    v4.23.0
    336.9 KB Build archive size: 336880 bytes.
  2. Not a part of any version track.
    2c86388
    v4.23.0
    11 days ago
    Released on September 28, 2025 at 7:03:39AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  3. Not a part of any version track.
    e53896c
    v4.17.0-rc1
    8 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.
    v4.17.0-rc1