T-Bricknumbers

Arbitrary Bit-Length Integers in Lean
Displaying 1-6 of 6 versions of numbers
Sort by
  1. Not a part of any version track.
    f6494eb
    a month ago
    Released on November 14, 2025 at 6:04:56PM
    Commit f6494eb builds on its old leanprover/lean4:v4.25.0
    v4.25.0
    3.4 MB Build archive size: 3425772 bytes.
  2. Not a part of any version track.
    0d10bb8
    v24.04.0
    2 years ago
    Released on March 17, 2024 at 10:12:04PM
    Commit 0d10bb8 builds on its old leanprover/lean4:v4.6.1
    v4.6.1
  3. Not a part of any version track.
    ddb58f9
    v24.03.0
    2 years ago
    Released on March 1, 2024 at 12:20:10AM
    Commit ddb58f9 builds on its old leanprover/lean4:v4.6.0
    v4.6.0
  4. Not a part of any version track.
    720120c
    v24.02.2
    2 years ago
    Released on March 1, 2024 at 12:14:33AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.6.0-rc1
  5. Not a part of any version track.
    b46af7a
    v24.02.1
    2 years ago
    Released on February 29, 2024 at 1:14:21AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.5.0
  6. Not a part of any version track.
    025f481
    v24.02.0
    2 years ago
    Released on January 10, 2024 at 6:52:24AM
    Commit 025f481 builds on its old leanprover/lean4:v4.5.0-rc1
    v4.5.0-rc1