Displaying 1-20 of 21 versions of plausible
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v4.21.0-rc3
    11 days ago
    Released on June 4, 2025 at 9:57:21AM
    Commit 1603151 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    1.4 MB Build archive size: 1397837 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.21.0-rc3
    11 days ago
    Released on June 4, 2025 at 9:57:21AM
    Commit 1603151 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    1.4 MB Build archive size: 1397837 bytes.
  3. Not a part of any version track.
    c2d561a
    v4.21.0-rc2
    12 days ago
    Released on June 3, 2025 at 2:13:22PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc2
  4. Not a part of any version track.
    91ce5a8
    v4.21.0-rc1
    13 days ago
    Released on June 2, 2025 at 4:21:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc1
  5. 0.1Version track: 0.1
    0.1.0
    v4.20.0
    13 days ago
    Released on June 2, 2025 at 3:03:10PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0
  6. Not a part of any version track.
    304c5e2
    v4.20.0-rc2
    a month ago
    Released on May 2, 2025 at 9:39:17PM
    Commit 304c5e2 builds on its recent leanprover/lean4:v4.20.0-rc2
    v4.20.0-rc2
    1.4 MB Build archive size: 1384326 bytes.
  7. Not a part of any version track.
    39b4541
    v4.20.0-rc1
    a month ago
    Released on May 1, 2025 at 8:09:16PM
    Commit 39b4541 builds on its recent leanprover/lean4:v4.20.0-rc1
    v4.20.0-rc1
    1.4 MB Build archive size: 1384939 bytes.
  8. 0.1Version track: 0.1
    0.1.0
    v4.19.0
    a month ago
    Released on May 1, 2025 at 2:56:44PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  9. 0.1Version track: 0.1
    0.1.0
    v4.19.0-rc2
    2 months ago
    Released on April 3, 2025 at 2:38:35AM
    Commit 8cee626 builds on its old leanprover/lean4:v4.19.0-rc2
    v4.19.0-rc2
    1.4 MB Build archive size: 1380828 bytes.
  10. 0.1Version track: 0.1
    0.1.0
    v4.19.0-rc1
    2 months ago
    Released on April 2, 2025 at 10:00:46AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0-rc1
  11. 0.1Version track: 0.1
    0.1.0
    v4.18.0
    2 months ago
    Released on April 1, 2025 at 5:28:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  12. 0.1Version track: 0.1
    0.1.0
    v4.18.0-rc1
    3 months ago
    Released on March 3, 2025 at 1:15:58PM
    Commit ebfb316 builds on its old leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    1.4 MB Build archive size: 1384163 bytes.
  13. 0.1Version track: 0.1
    0.1.0
    v4.17.0
    3 months ago
    Released on March 3, 2025 at 10:23:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0
  14. 0.1Version track: 0.1
    0.1.0
    v4.17.0-rc1
    4 months ago
    Released on February 3, 2025 at 2:56:15PM
    Commit 59a8514 builds on its old leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    1.4 MB Build archive size: 1376011 bytes.
  15. 0.1Version track: 0.1
    0.1.0
    v4.16.0
    4 months ago
    Released on February 3, 2025 at 9:15:36AM
    Commit e104724 builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    1.4 MB Build archive size: 1378651 bytes.
  16. 0.1Version track: 0.1
    0.1.0
    v4.16.0-rc2
    5 months ago
    Released on January 14, 2025 at 2:44:17AM
    Commit 1a723fb builds on its old leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    1.4 MB Build archive size: 1378623 bytes.
  17. 0.1Version track: 0.1
    0.1.0
    v4.16.0-rc1
    5 months ago
    Released on January 4, 2025 at 5:24:00AM
    Commit 1622a86 builds on its old leanprover/lean4:v4.16.0-rc1
    v4.16.0-rc1
    1.4 MB Build archive size: 1378725 bytes.
  18. 0.1Version track: 0.1
    0.1.0
    v4.15.0
    5 months ago
    Released on January 4, 2025 at 3:37:12AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  19. 0.1Version track: 0.1
    0.1.0
    v4.15.0-rc1
    6 months ago
    Released on December 2, 2024 at 3:31:22AM
    Commit 8e5cb8d builds on its old leanprover/lean4:v4.15.0-rc1
    v4.15.0-rc1
    1.4 MB Build archive size: 1375423 bytes.
  20. 0.1Version track: 0.1
    0.1.0
    v4.14.0
    6 months ago
    Released on December 2, 2024 at 3:29:42AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0