/LEANear_algebra

Resources to teach Linear Algebra using Lean4 and Sagemath

Apache License 2.0Apache-2.0

Stargazers