matrix_cookbook
The matrix cookbook, proved in the Lean theorem prover
Displaying 1-15 of 15 versions of matrix_cookbook
Sort by
Date
- Not a part of any version track.
07dd7af13 days agoReleased on October 25, 2026 at 11:56:17PMCommit 07dd7af builds on its recent leanprover/lean4:v4.35.0v4.35.03.4 MB Build archive size: 3351001 bytes. - Not a part of any version track.
1ac1171v4.34.013 days agoReleased on October 25, 2026 at 9:22:21PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
1613d89v4.35.013 days agoReleased on October 25, 2026 at 9:22:21PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.35.0 - Not a part of any version track.
5292501v4.31.013 days agoReleased on October 25, 2026 at 9:22:20PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.31.0 - Not a part of any version track.
b726f8av4.32.013 days agoReleased on October 25, 2026 at 9:22:20PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.0 - Not a part of any version track.
2146d19v4.33.013 days agoReleased on October 25, 2026 at 9:22:20PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0 - Not a part of any version track.
40f5cabv4.23.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
d194dd1v4.24.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
26410e2v4.25.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
23ef742v4.26.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
452a053v4.27.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0 - Not a part of any version track.
526dbc0v4.28.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
a48f690v4.29.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0 - Not a part of any version track.
c8b1910v4.30.013 days agoReleased on October 25, 2026 at 8:59:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.30.0 - Not a part of any version track.
800aaecv4.22.013 days agoReleased on October 25, 2026 at 8:59:25PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0