No results found

lean4checker

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Displaying 1-12 of 12 versions of lean4checker
Sort by
  1. Not a part of any version track.
    2a87e93
    v4.13.0-rc1
    3 days ago
    Released on October 3, 2024 at 12:14:39PM
    Commit 2a87e93 builds on its recent leanprover/lean4:v4.13.0-rc1
    v4.13.0-rc1
    29.8 MB Build archive size: 29764660 bytes.
  2. Not a part of any version track.
    2a87e93
    v4.13.0-rc1
    3 days ago
    Released on October 3, 2024 at 12:14:39PM
    Commit 2a87e93 builds on its recent leanprover/lean4:v4.13.0-rc1
    v4.13.0-rc1
    29.8 MB Build archive size: 29764660 bytes.
  3. Not a part of any version track.
    48c39ac
    v4.12.0
    5 days ago
    Released on October 1, 2024 at 6:05:31AM
    Commit 48c39ac builds on its recent leanprover/lean4:v4.12.0
    v4.12.0
    29.5 MB Build archive size: 29495265 bytes.
  4. Not a part of any version track.
    c07bbba
    v4.12.0-rc1
    a month ago
    Released on September 3, 2024 at 4:19:14AM
    Commit c07bbba builds on its recent leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    29.5 MB Build archive size: 29490089 bytes.
  5. Not a part of any version track.
    ffffef3
    v4.11.0
    a month ago
    Released on September 2, 2024 at 1:44:57AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.11.0
  6. Not a part of any version track.
    4236dd2
    v4.11.0-rc1
    2 months ago
    Released on August 5, 2024 at 2:01:57AM
    Commit 4236dd2 builds on its old leanprover/lean4:v4.11.0-rc1
    v4.11.0-rc1
    28.1 MB Build archive size: 28135724 bytes.
  7. Not a part of any version track.
    0c33232
    v4.10.0
    2 months ago
    Released on July 31, 2024 at 9:44:01AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0
  8. Not a part of any version track.
    cffb5b4
    v4.10.0-rc1
    3 months ago
    Released on July 1, 2024 at 1:02:12AM
    Commit cffb5b4 builds on its old leanprover/lean4:v4.10.0-rc1
    v4.10.0-rc1
    27.3 MB Build archive size: 27310061 bytes.
  9. Not a part of any version track.
    b317806
    v4.9.0
    3 months ago
    Released on July 1, 2024 at 12:50:56AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0
  10. Not a part of any version track.
    9da7f4a
    v4.9.0-rc1
    4 months ago
    Released on June 7, 2024 at 12:37:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc1
  11. Not a part of any version track.
    f49dfe7
    v4.8.0
    4 months ago
    Released on June 5, 2024 at 3:42:07AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0
  12. Not a part of any version track.
    94d8656
    v4.8.0-rc1
    5 months ago
    Released on May 2, 2024 at 12:14:51PM
    Commit 94d8656 builds on its old leanprover/lean4:v4.8.0-rc1
    v4.8.0-rc1