aleradLeanCert0.1.0

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
Displaying 1-20 of 27 versions of LeanCert
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v4.30.0.5
    4 days ago
    Released on June 14, 2026 at 3:05:06AM
    Commit 87c4ec2 builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    89.2 MB Build archive size: 89187500 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.30.0.5
    4 days ago
    Released on June 14, 2026 at 3:05:06AM
    Commit 87c4ec2 builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    89.2 MB Build archive size: 89187500 bytes.
  3. 0.1Version track: 0.1
    0.1.0
    v4.30.0.4
    5 days ago
    Released on June 12, 2026 at 5:30:57PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  4. 0.1Version track: 0.1
    0.1.0
    v4.30.0.3
    6 days ago
    Released on June 12, 2026 at 1:54:41AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  5. 0.1Version track: 0.1
    0.1.0
    v4.30.0.2
    8 days ago
    Released on June 9, 2026 at 11:04:20AM
    Commit a58a67f builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    85.5 MB Build archive size: 85523718 bytes.
  6. 0.1Version track: 0.1
    0.1.0
    v4.30.0.1
    12 days ago
    Released on June 5, 2026 at 2:47:09PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  7. 0.1Version track: 0.1
    0.1.0
    v4.30.0
    16 days ago
    Released on June 2, 2026 at 9:04:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  8. 0.1Version track: 0.1
    0.1.0
    v4.29.1
    21 days ago
    Released on May 28, 2026 at 8:37:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.1
  9. 0.1Version track: 0.1
    0.1.0
    v4.30.0-rc2
    a month ago
    Released on May 12, 2026 at 11:44:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  10. 0.1Version track: 0.1
    0.1.0
    v4.29.0
    a month ago
    Released on May 12, 2026 at 11:00:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  11. 0.1Version track: 0.1
    0.1.0
    v4.29.0-rc1
    4 months ago
    Released on March 1, 2026 at 4:47:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc1
  12. 0.1Version track: 0.1
    0.1.0
    v4.29.0-rc2
    4 months ago
    Released on March 1, 2026 at 3:56:32PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc2
  13. 0.1Version track: 0.1
    0.1.0
    v4.28.0-rc1.1
    4 months ago
    Released on February 19, 2026 at 3:18:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0-rc1
  14. 0.1Version track: 0.1
    0.1.0
    v4.28.0.1
    4 months ago
    Released on February 19, 2026 at 3:08:22PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  15. 0.1Version track: 0.1
    0.1.0
    v4.28.1
    4 months ago
    Released on February 19, 2026 at 3:08:22PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  16. 0.1Version track: 0.1
    0.1.0
    v4.28.0
    4 months ago
    Released on February 17, 2026 at 6:00:33PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  17. 0.1Version track: 0.1
    0.1.0
    v4.28.0-rc1
    4 months ago
    Released on February 17, 2026 at 11:28:07AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0-rc1
  18. 0.1Version track: 0.1
    0.1.0
    v4.27.0
    5 months ago
    Released on January 30, 2026 at 2:49:48PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0
  19. 0.1Version track: 0.1
    0.1.0
    v4.2.3
    5 months ago
    Released on January 22, 2026 at 6:35:53PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0-rc1
  20. 0.1Version track: 0.1
    0.1.0
    v2.4.2
    5 months ago
    Released on January 22, 2026 at 3:55:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0-rc1