Displaying 1-18 of 18 versions of sos
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    a month ago
    Released on August 26, 2026 at 3:48:22PM
    Commit fb7ae41 builds on its recent leanprover/lean4:v4.33.1
    v4.33.1
    6.0 MB Build archive size: 5988156 bytes.
  2. 0.2Version track: 0.2
    0.2.4
    v0.2.4
    a month ago
    Released on August 21, 2026 at 4:12:52AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  3. 0.2Version track: 0.2
    0.2.3
    v0.2.3
    a month ago
    Released on August 20, 2026 at 12:12:00PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  4. 0.2Version track: 0.2
    0.2.2
    v0.2.2
    a month ago
    Released on August 20, 2026 at 8:23:39AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  5. 0.2Version track: 0.2
    0.2.1
    v0.2.1
    2 months ago
    Released on August 2, 2026 at 11:09:29PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  6. 0.2Version track: 0.2
    0.2.1
    v0.2.1-mathlib-rc1
    2 months ago
    Released on August 2, 2026 at 11:09:29PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  7. 0.2Version track: 0.2
    0.2.0
    v0.2.0
    2 months ago
    Released on August 2, 2026 at 10:15:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  8. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc10
    2 months ago
    Released on August 2, 2026 at 10:15:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  9. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc9
    2 months ago
    Released on August 2, 2026 at 9:15:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  10. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc8
    2 months ago
    Released on August 2, 2026 at 9:09:10AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  11. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc7
    2 months ago
    Released on August 2, 2026 at 1:30:27AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  12. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc6
    2 months ago
    Released on August 1, 2026 at 6:46:36PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  13. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc5
    2 months ago
    Released on August 1, 2026 at 5:46:28PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  14. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc4
    2 months ago
    Released on August 1, 2026 at 4:45:37PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  15. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc3
    2 months ago
    Released on August 1, 2026 at 3:37:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  16. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc2
    2 months ago
    Released on August 1, 2026 at 3:23:55PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  17. 0.2Version track: 0.2
    0.2.0
    v0.2.0-mathlib-rc1
    2 months ago
    Released on August 1, 2026 at 3:05:58PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc1
  18. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    4 months ago
    Released on May 13, 2026 at 6:12:21AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.1