No results found

NumpySpec

numpy -> lean 4 through ai
Displaying 1-1 of 1 versions of NumpySpec
Sort by
  1. Not a part of any version track.
    dc33de7
    a day ago
    Released on July 2, 2025 at 10:04:57AM
    Commit dc33de7 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    49.5 MB Build archive size: 49464712 bytes.