No results found

lean4checker

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Displaying 1-20 of 32 versions of lean4checker
Sort by
  1. Not a part of any version track.
    9fb95ce
    v4.20.0-rc5
    16 days ago
    Released on May 7, 2025 at 1:50:17PM
    Commit 9fb95ce builds on its recent leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    50.9 MB Build archive size: 50869281 bytes.
  2. Not a part of any version track.
    9fb95ce
    v4.20.0-rc5
    16 days ago
    Released on May 7, 2025 at 1:50:17PM
    Commit 9fb95ce builds on its recent leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    50.9 MB Build archive size: 50869281 bytes.
  3. Not a part of any version track.
    6cf4df9
    v4.20.0-rc2
    21 days ago
    Released on May 2, 2025 at 10:10:43PM
    Commit 6cf4df9 builds on its recent leanprover/lean4:v4.20.0-rc2
    v4.20.0-rc2
    51.0 MB Build archive size: 50954180 bytes.
  4. Not a part of any version track.
    e11f65c
    v4.19.0
    22 days ago
    Released on May 1, 2025 at 11:04:01AM
    Commit e11f65c builds on its recent leanprover/lean4:v4.19.0
    v4.19.0
    48.5 MB Build archive size: 48504814 bytes.
  5. Not a part of any version track.
    b8adfa0
    v4.19.0-rc3
    a month ago
    Released on April 14, 2025 at 10:04:32AM
    Commit b8adfa0 builds on its recent leanprover/lean4:v4.19.0-rc3
    v4.19.0-rc3
    48.5 MB Build archive size: 48502301 bytes.
  6. Not a part of any version track.
    3ab85e9
    v4.19.0-rc2
    2 months ago
    Released on April 3, 2025 at 2:26:20AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0-rc2
  7. Not a part of any version track.
    f345273
    v4.18.0
    2 months ago
    Released on April 1, 2025 at 4:56:35AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  8. Not a part of any version track.
    51febba
    v4.18.0-rc1
    3 months ago
    Released on March 4, 2025 at 12:01:03AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0-rc1
  9. Not a part of any version track.
    f469291
    v4.17.0
    3 months ago
    Released on March 3, 2025 at 10:00:18AM
    Commit f469291 builds on its old leanprover/lean4:v4.17.0
    v4.17.0
    37.6 MB Build archive size: 37630314 bytes.
  10. Not a part of any version track.
    2c7587a
    v4.17.0-rc1
    4 months ago
    Released on February 3, 2025 at 2:50:27PM
    Commit 2c7587a builds on its old leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    37.6 MB Build archive size: 37639073 bytes.
  11. Not a part of any version track.
    803320e
    v4.16.0
    4 months ago
    Released on February 3, 2025 at 8:23:04AM
    Commit 803320e builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    35.7 MB Build archive size: 35683267 bytes.
  12. Not a part of any version track.
    6372d24
    v4.16.0-rc2
    4 months ago
    Released on January 14, 2025 at 2:32:29AM
    Commit 6372d24 builds on its old leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    35.7 MB Build archive size: 35673595 bytes.
  13. Not a part of any version track.
    8c4b271
    v4.16.0-rc1
    5 months ago
    Released on January 4, 2025 at 4:54:14AM
    Commit 8c4b271 builds on its old leanprover/lean4:v4.16.0-rc1
    v4.16.0-rc1
    35.7 MB Build archive size: 35664396 bytes.
  14. Not a part of any version track.
    be02a47
    v4.15.0
    5 months ago
    Released on January 4, 2025 at 3:15:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  15. Not a part of any version track.
    03b5086
    v4.15.0-rc1
    6 months ago
    Released on December 2, 2024 at 2:51:56AM
    Commit 03b5086 builds on its old leanprover/lean4:v4.15.0-rc1
    v4.15.0-rc1
    34.6 MB Build archive size: 34554151 bytes.
  16. Not a part of any version track.
    bee437b
    v4.14.0
    6 months ago
    Released on December 2, 2024 at 12:08:38AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0
  17. Not a part of any version track.
    294d970
    v4.14.0-rc3
    6 months ago
    Released on December 1, 2024 at 12:33:06AM
    Commit 294d970 builds on its old leanprover/lean4:v4.14.0-rc3
    v4.14.0-rc3
    31.1 MB Build archive size: 31064298 bytes.
  18. Not a part of any version track.
    57e4d7a
    v4.14.0-rc2
    7 months ago
    Released on November 6, 2024 at 10:34:15PM
    Commit 57e4d7a builds on its old leanprover/lean4:v4.14.0-rc2
    v4.14.0-rc2
    31.0 MB Build archive size: 31036962 bytes.
  19. Not a part of any version track.
    9246ca9
    v4.14.0-rc1
    7 months ago
    Released on November 4, 2024 at 12:48:03AM
    Commit 9246ca9 builds on its old leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    31.0 MB Build archive size: 31032760 bytes.
  20. Not a part of any version track.
    7bc0a77
    v4.13.0
    7 months ago
    Released on November 1, 2024 at 2:51:33AM
    Commit 7bc0a77 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    30.3 MB Build archive size: 30265951 bytes.