No results found

algorithm

Verified efficient algorithms in Lean4.
Displaying 1-11 of 11 versions of algorithm
Sort by
  1. Not a part of any version track.
    c1bc607
    v4.19.0-rc2
    20 days ago
    Released on April 5, 2025 at 10:40:11AM
    Commit c1bc607 builds on its recent leanprover/lean4:v4.19.0-rc2
    v4.19.0-rc2
    5.9 MB Build archive size: 5884585 bytes.
  2. Not a part of any version track.
    c1bc607
    v4.19.0-rc2
    20 days ago
    Released on April 5, 2025 at 10:40:11AM
    Commit c1bc607 builds on its recent leanprover/lean4:v4.19.0-rc2
    v4.19.0-rc2
    5.9 MB Build archive size: 5884585 bytes.
  3. Not a part of any version track.
    7ce8d16
    v4.18.0
    20 days 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
  4. Not a part of any version track.
    6d3e9c1
    v4.18.0-rc1
    a month 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
  5. Not a part of any version track.
    cb2efc8
    v4.17.0
    a month ago
    Released on March 24, 2025 at 11:57:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0
  6. Not a part of any version track.
    a7254cd
    v4.17.0-rc1
    a month ago
    Released on March 18, 2025 at 6:17:34PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0-rc1
  7. Not a part of any version track.
    5c00e72
    v4.16.0
    a month ago
    Released on March 18, 2025 at 6:01:31PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.16.0
  8. Not a part of any version track.
    09d8582
    v4.16.0-rc2
    a month ago
    Released on March 18, 2025 at 5:37:00PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.16.0-rc2
  9. Not a part of any version track.
    43f92e7
    v4.15.0
    a month ago
    Released on March 18, 2025 at 4:55:29PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  10. Not a part of any version track.
    e375ddc
    v4.15.0-rc1
    5 months ago
    Released on December 2, 2024 at 5:05:05PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0-rc1
  11. Not a part of any version track.
    485fd60
    v4.14.0
    5 months ago
    Released on December 2, 2024 at 3:11:26PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0