What exactly is your goal? I think that the way to get math intuition is to learn a mathematical language, like Julia, and play around with it. Plot things. Ch

What exactly is your goal? I think that the way to get math intuition is to learn a mathematical language, like Julia, and play around with it. Plot things. Change parameters. Also learn a theorem prover. Maybe Agda or Coq or Lean.