astrainfinitaalgorithm

Verified efficient algorithms in Lean4.
Displaying 1-20 of 33 versions of algorithm
Sort by
  1. Not a part of any version track.
    3f540a8
    a month ago
    Released on January 3, 2026 at 6:05:51PM
    Commit 3f540a8 builds on its recent leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    6.8 MB Build archive size: 6773871 bytes.
  2. Not a part of any version track.
    d2cf21d
    v4.27.0-rc1
    a month ago
    Released on January 1, 2026 at 8:37:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0-rc1
  3. Not a part of any version track.
    35b3d2c
    v4.26.0
    a month ago
    Released on January 1, 2026 at 8:04:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0
  4. Not a part of any version track.
    1f36758
    v4.26.0-rc2
    2 months ago
    Released on December 11, 2025 at 10:18:59PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0-rc2
  5. Not a part of any version track.
    2d02a75
    v4.26.0-rc1
    2 months ago
    Released on December 11, 2025 at 9:54:57PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0-rc1
  6. Not a part of any version track.
    d532948
    v4.25.0
    2 months ago
    Released on December 11, 2025 at 6:13:16AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0
  7. Not a part of any version track.
    1cfd9de
    v4.25.0-rc2
    2 months ago
    Released on December 11, 2025 at 5:51:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0-rc2
  8. Not a part of any version track.
    3ecb2c2
    v4.24.0
    3 months ago
    Released on October 23, 2025 at 7:52:53AM
    Commit 3ecb2c2 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    6.2 MB Build archive size: 6192896 bytes.
  9. Not a part of any version track.
    99cd629
    v4.24.0-rc1
    3 months ago
    Released on October 23, 2025 at 7:36:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0-rc1
  10. Not a part of any version track.
    3704079
    v4.23.0
    3 months ago
    Released on October 23, 2025 at 7:12:23AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  11. Not a part of any version track.
    55d31b9
    v4.23.0-rc2
    6 months ago
    Released on August 16, 2025 at 7:21:37AM
    Commit 55d31b9 builds on its old leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    6.2 MB Build archive size: 6177305 bytes.
  12. Not a part of any version track.
    339553f
    v4.22.0
    6 months ago
    Released on August 16, 2025 at 6:58:58AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0
  13. Not a part of any version track.
    d0cac91
    v4.22.0-rc4
    6 months ago
    Released on August 16, 2025 at 6:48:05AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0-rc4
  14. Not a part of any version track.
    a339985
    v4.22.0-rc3
    6 months ago
    Released on August 16, 2025 at 6:29:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0-rc3
  15. Not a part of any version track.
    f96638e
    v4.22.0-rc2
    6 months ago
    Released on August 16, 2025 at 6:24:27AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0-rc2
  16. Not a part of any version track.
    2b891a3
    v4.21.0
    6 months ago
    Released on July 23, 2025 at 10:14:49PM
    Commit 2b891a3 builds on its old leanprover/lean4:v4.21.0
    v4.21.0
    6.1 MB Build archive size: 6059499 bytes.
  17. Not a part of any version track.
    cde7060
    v4.21.0-rc3
    6 months ago
    Released on July 23, 2025 at 9:56:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc3
  18. Not a part of any version track.
    24365a0
    v4.21.0-rc2
    6 months ago
    Released on July 23, 2025 at 9:45:44PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc2
  19. Not a part of any version track.
    a14ead7
    v4.21.0-rc1
    6 months ago
    Released on July 23, 2025 at 9:21:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc1
  20. Not a part of any version track.
    c90bdbf
    v4.20.0
    6 months ago
    Released on July 23, 2025 at 9:14:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0