I am an electrical major. Let me try to answer this question from the perspective of a non math major student without a prior course on analysis. My first linear algebra course followed Hoffman and Kunz but at the time, the abstraction was too overwhelming and I completely failed to appreciate the beauty of the subject and was even appalled by it. When I had planned to take up another course that required linear algebra(machine learning), I self studied it from gilbert strang's "linear algebra and its applications" , I found the intuition that I gained by going through it very useful and started liking the subject and now I am working out through Hoffman and Kunz again because I wish to learn more about it.I am currently able to get a handle over the abstraction and appreciate/understand the theorems and proofs.