Agree – they are proof and theory focused courses, which may feel different from typical college frosh/soph level math courses like calculus and multi variable calculus.
What college math courses has the student completed, and are there local colleges where the student can take advanced math in person?