Reservoir
No results found
All Packages
NumLean
A Lean 4 package for heavy numerical computations
#matrix
Readme
Versions (1)
Displaying
1-1
of
1
versions of
NumLean
Sort by
Date
Not a part of any version track.
ed5e568
3 years ago
Released on January 16, 2022 at 1:51:28PM
Commit ed5e568 builds on its old leanprover/lean4:nightly-2022-01-15
nightly-2022-01-15
1
20