astrainfinitaalgorithm

Verified efficient algorithms in Lean4.
Displaying 1-20 of 27 versions of algorithm
Sort by
  1. Not a part of any version track.
    3ecb2c2
    v4.24.0
    15 days ago
    Released on October 23, 2025 at 7:52:53AM
    Commit 3ecb2c2 builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    6.2 MB Build archive size: 6192867 bytes.
  2. Not a part of any version track.
    3ecb2c2
    v4.24.0
    15 days ago
    Released on October 23, 2025 at 7:52:53AM
    Commit 3ecb2c2 builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    6.2 MB Build archive size: 6192867 bytes.
  3. Not a part of any version track.
    99cd629
    v4.24.0-rc1
    15 days 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
  4. Not a part of any version track.
    3704079
    v4.23.0
    15 days 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
  5. Not a part of any version track.
    55d31b9
    v4.23.0-rc2
    3 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.
  6. Not a part of any version track.
    339553f
    v4.22.0
    3 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
  7. Not a part of any version track.
    d0cac91
    v4.22.0-rc4
    3 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
  8. Not a part of any version track.
    a339985
    v4.22.0-rc3
    3 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
  9. Not a part of any version track.
    f96638e
    v4.22.0-rc2
    3 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
  10. Not a part of any version track.
    2b891a3
    v4.21.0
    3 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.
  11. Not a part of any version track.
    cde7060
    v4.21.0-rc3
    3 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
  12. Not a part of any version track.
    24365a0
    v4.21.0-rc2
    3 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
  13. Not a part of any version track.
    a14ead7
    v4.21.0-rc1
    3 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
  14. Not a part of any version track.
    c90bdbf
    v4.20.0
    3 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
  15. Not a part of any version track.
    90e214c
    v4.20.0-rc5
    3 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
  16. Not a part of any version track.
    cd99ebf
    v4.20.0-rc2
    3 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
  17. Not a part of any version track.
    bdf636d
    v4.19.0
    3 months ago
    Released on July 23, 2025 at 8:31:11PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  18. Not a part of any version track.
    c1bc607
    v4.19.0-rc2
    7 months ago
    Released on April 5, 2025 at 10:40:11AM
    Commit c1bc607 builds on its old leanprover/lean4:v4.19.0-rc2
    v4.19.0-rc2
    5.9 MB Build archive size: 5881352 bytes.
  19. Not a part of any version track.
    7ce8d16
    v4.18.0
    7 months ago
    Released on April 5, 2025 at 9:29:12AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  20. Not a part of any version track.
    6d3e9c1
    v4.18.0-rc1
    7 months ago
    Released on March 25, 2025 at 11:13:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0-rc1