Hacker News new | ask | show | jobs
by adamnemecek 2491 days ago
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.