No results found

numbers

Arbitrary Bit-Length Integers in Lean
#wasm
Displaying 1-6 of 6 versions of numbers
Sort by
  1. Not a part of any version track.
    a7093c6
    6 months ago
    Released on June 15, 2024 at 3:31:50AM
    Commit a7093c6 builds on its old leanprover/lean4:v4.8.0
    v4.8.0
  2. Not a part of any version track.
    0d10bb8
    v24.04.0
    9 months 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
    10 months 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
    10 months 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
    10 months 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
    a year 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