3 ms·
Does anyone know a good starting point to try Lean for Linear Algebra?
by 331c8c71 1y ago
Does anyone know a good starting point to try Lean for Linear Algebra?
- griffzhowl 1y agoThe canonical introduction is Mathematics in Lean https://leanprover-community.github.io/mathematics_in_lean/index.html https://leanprover-community.github.io/mathematics_in_lean/i... It doesn't get to linear algebra till chapter 9, and it tends to be cumulative, but you could try the first 4 chapters to get the basics and jump ahead to see how you get on