Ask HN: A good book/online course for learning proof-based linear algebra

I'm looking for a resource I can use to learn linear algebra in a theoretical/proof based way. I have little to no experience with proof based math.