No results found

SSA

A minimal development of SSA theory
Displaying 1-5 of 5 versions of SSA
Sort by
  1. Not a part of any version track.
    b4bdf9f
    3 days ago
    Released on October 3, 2024 at 9:37:56PM
    Commit b4bdf9f builds on its old leanprover/lean4:nightly-2024-09-30
    nightly-2024-09-30
    28.7 MB Build archive size: 28651230 bytes.
  2. Not a part of any version track.
    0c13dc6
    v0.1.3
    4 months ago
    Released on June 11, 2024 at 12:40:45AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0
  3. Not a part of any version track.
    fbf1102
    v0.1.2
    4 months ago
    Released on June 7, 2024 at 9:40:03AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0
  4. Not a part of any version track.
    7c87463
    v0.1.1
    4 months ago
    Released on May 23, 2024 at 2:48:42PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0-rc2
  5. Not a part of any version track.
    0c804af
    v0.1.0
    8 months ago
    Released on January 22, 2024 at 4:06:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.3.0-rc1