Beneficial-AI-FoundationNumpySpec

numpy -> lean 4 through ai
Displaying 1-1 of 1 versions of NumpySpec
Sort by
  1. Not a part of any version track.
    02bea39
    6 days ago
    Released on July 11, 2025 at 6:15:34PM
    Commit 02bea39 fails to build on leanprover/lean4:nightly
    nightly