[D] A class in applied linear algebra vs a proof-heavy linear algebra?

I have room for one class and want to take a second course in linear algebra. Which one should it be: a graduate course in applied linear algebra, or a proof-heavy undergrad course in linear algebra? The latter is taken by most math majors, in case that's relevant. Also, i've already taken an introductory linear algebra class.

Here are the descriptions for each class:

Graduate Applied Linear Algebra:

This is a course aiming at graduate students in science, engineering, and …

linear algebra machinelearning