|
|
|
|
|
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. |
|