mccorvieClassificationOfSurfaces0.2.0

#math #topology #lean-eval
Displaying 1-3 of 3 versions of ClassificationOfSurfaces
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    a day ago
    Released on August 28, 2026 at 6:45:05PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  2. 0.2Version track: 0.2
    0.2.0
    v4.32.2
    a month ago
    Released on July 31, 2026 at 4:22:11PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2
  3. 0.2Version track: 0.2
    0.2.0
    v4.32.0
    a month ago
    Released on July 25, 2026 at 2:19:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0