runbikeswimlean-semver0.7.0

Semantic Versioning in Lean4
Displaying 1-3 of 3 versions of lean-semver
Sort by
  1. 0.7Version track: 0.7
    0.7.0
    5 months ago
    Released on November 6, 2025 at 5:08:36PM
    Commit f8abecd builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    6.6 MB Build archive size: 6580442 bytes.
  2. 0.7Version track: 0.7
    0.7.0
    v1.0.0
    5 months ago
    Released on October 28, 2025 at 6:19:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  3. 0.7Version track: 0.7
    0.7.0
    v0.7.0
    7 months ago
    Released on September 12, 2025 at 4:36:09PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0