lecopivoscilean

Scientific computing in Lean 4
Displaying 1-2 of 2 versions of scilean
Sort by
  1. Not a part of any version track.
    efbb2d0
    v4.20.1
    2 months ago
    Released on June 9, 2025 at 7:25:12PM
    Commit efbb2d0 fails to build on leanprover/lean4:v4.20.1
    v4.20.1
  2. Not a part of any version track.
    efbb2d0
    v4.20.1
    2 months ago
    Released on June 9, 2025 at 7:25:12PM
    Commit efbb2d0 fails to build on leanprover/lean4:v4.20.1
    v4.20.1