My proof-based linear algebra course in college used Axler. Great book. It also served as a good precursor to functional analysis and measure theory courses I took later