astrainfinitaalgorithm

Verified efficient algorithms in Lean4.
Displaying 1-20 of 31 versions of algorithm
Sort by
  1. Not a part of any version track.
    3d6445e
    13 days ago
    Released on December 12, 2025 at 6:29:33AM
    Commit 3d6445e builds on its recent leanprover/lean4:v4.26.0-rc2
    v4.26.0-rc2
    6.5 MB Build archive size: 6536530 bytes.
  2. Not a part of any version track.
    1f36758
    v4.26.0-rc2
    13 days 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
  3. Not a part of any version track.
    2d02a75
    v4.26.0-rc1
    13 days 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
  4. Not a part of any version track.
    d532948
    v4.25.0
    14 days 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
  5. Not a part of any version track.
    1cfd9de
    v4.25.0-rc2
    14 days 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
  6. Not a part of any version track.
    3ecb2c2
    v4.24.0
    2 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.
  7. Not a part of any version track.
    99cd629
    v4.24.0-rc1
    2 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
  8. Not a part of any version track.
    3704079
    v4.23.0
    2 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
  9. Not a part of any version track.
    55d31b9
    v4.23.0-rc2
    4 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.
  10. Not a part of any version track.
    339553f
    v4.22.0
    4 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
  11. Not a part of any version track.
    d0cac91
    v4.22.0-rc4
    4 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
  12. Not a part of any version track.
    a339985
    v4.22.0-rc3
    4 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
  13. Not a part of any version track.
    f96638e
    v4.22.0-rc2
    4 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
  14. Not a part of any version track.
    2b891a3
    v4.21.0
    5 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.
  15. Not a part of any version track.
    cde7060
    v4.21.0-rc3
    5 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
  16. Not a part of any version track.
    24365a0
    v4.21.0-rc2
    5 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
  17. Not a part of any version track.
    a14ead7
    v4.21.0-rc1
    5 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
  18. Not a part of any version track.
    c90bdbf
    v4.20.0
    5 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
  19. Not a part of any version track.
    90e214c
    v4.20.0-rc5
    5 months ago
    Released on July 23, 2025 at 8:54:04PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0-rc5
  20. Not a part of any version track.
    cd99ebf
    v4.20.0-rc2
    5 months ago
    Released on July 23, 2025 at 8:39:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0-rc2