Linear algebra, the study of multivariate linear systems and transformations, is essential prepara- tion for advanced sciences, statistics, and computing. Linear algebra also introduces students to ...

This project aims to formalize basic results in linear algebra using the Lean proof assistant ... We should also the builtin projects & wiki features to track and document proofs, definitions, etc.