Reservoir
No results found
All Packages
matrix_cookbook
The matrix cookbook, proved in the Lean theorem prover
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
matrix_cookbook
Sort by
Date
Not a part of any version track.
60e6b3c
4 days ago
Released on May 8, 2025 at 1:15:16AM
Commit 60e6b3c builds on its recent leanprover/lean4:v4.20.0-rc5
v4.20.0-rc5
2.6 MB
Build archive size: 2553383 bytes.
1
20