In general, proof-oriented undergrad classes for Linear Algebra would be either the second class they take, or it's a math major going a pathway specifically for math people. Similar to Sheldon Axler's famous book.