eric-wieser / lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover
98Updated 2 months ago

Alternatives and similar repositories for lean-matrix-cookbook:

Users that are interested in lean-matrix-cookbook are comparing it to the libraries listed below