No results found

lean_extras

Displaying 1-1 of 1 versions of lean_extras
Sort by
  1. Not a part of any version track.
    4a0bb80
    3 months ago
    Released on February 14, 2025 at 5:37:53PM
    Commit 4a0bb80 builds on its old leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    852.4 KB Build archive size: 852395 bytes.