Learn how to program and head into theorem prover territory, the undergraduate math curriculum and beyond is being built in those tools so you can watch it unfo

Learn how to program and head into theorem prover territory, the undergraduate math curriculum and beyond is being built in those tools so you can watch it unfold and learn it as the material progresses. You will understand it since it will be communicated in a language that you understand formally and it is literally the math that math students are learning. I'd recommend agda as a place to start.