eric-wieser / lean-matrix-cookbookLinks

The matrix cookbook, proved in the Lean theorem prover
106Updated 3 weeks 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

Sorting: