hanwenzhupremise-selection

Displaying 1-14 of 14 versions of premise-selection
Sort by
  1. Not a part of any version track.
    d25e7b4
    5 days ago
    Released on July 26, 2026 at 1:49:28AM
    Commit d25e7b4 builds on its recent leanprover/lean4:v4.32.0
    v4.32.0
    1.1 MB Build archive size: 1124120 bytes.
  2. Not a part of any version track.
    95c408c
    v4.32.0
    17 days ago
    Released on July 13, 2026 at 7:11:25PM
    Commit 95c408c builds on its recent leanprover/lean4:v4.32.0
    v4.32.0
    818.1 KB Build archive size: 818065 bytes.
  3. Not a part of any version track.
    b64df7b
    v4.30.0
    2 months ago
    Released on May 26, 2026 at 6:32:25PM
    Commit b64df7b builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    628.9 KB Build archive size: 628918 bytes.
  4. Not a part of any version track.
    102cebd
    v4.29.0
    4 months ago
    Released on March 28, 2026 at 2:21:28PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  5. Not a part of any version track.
    546741e
    v4.28.0
    5 months ago
    Released on February 19, 2026 at 3:46:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  6. Not a part of any version track.
    d0f1984
    v4.27.0
    6 months ago
    Released on January 26, 2026 at 11:07:42PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0
  7. Not a part of any version track.
    d648fd5
    v4.26.0
    7 months ago
    Released on December 17, 2025 at 4:23:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0
  8. Not a part of any version track.
    d838ca7
    v4.25.2
    8 months ago
    Released on December 2, 2025 at 3:54:21PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.2
  9. Not a part of any version track.
    59ffa23
    v4.25.1
    8 months ago
    Released on November 27, 2025 at 7:02:48PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.1
  10. Not a part of any version track.
    96f076a
    v4.25.0
    8 months ago
    Released on November 17, 2025 at 8:52:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0
  11. Not a part of any version track.
    42ce451
    v4.23.0
    10 months ago
    Released on September 21, 2025 at 3:41:17AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  12. Not a part of any version track.
    297bdb0
    v4.22.0
    a year ago
    Released on August 22, 2025 at 3:39:51PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0
  13. Not a part of any version track.
    b16d71d
    v4.21.0
    a year ago
    Released on July 4, 2025 at 7:15:35PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  14. Not a part of any version track.
    d81f961
    v4.20.0
    a year ago
    Released on June 11, 2025 at 1:57:17AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0