tobiasgrosser/linear_algebra_done_right

A translation of Sheldon Axler's textbook Linear Algebra Done Right into Lean

This repository is not active