lecopivoscilean

Scientific computing in Lean 4
Displaying 1-2 of 2 versions of scilean
Sort by
  1. Not a part of any version track.
    95f8119
    4 days ago
    Released on February 18, 2026 at 9:43:16AM
    Commit 95f8119 fails to build on leanprover/lean4:v4.28.0-rc1
    v4.28.0-rc1
  2. Not a part of any version track.
    efbb2d0
    v4.20.1
    8 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