I worked a bit on formalizing math using assisted theorem provers, and found that good theorems are basically well coded functions. I think both the perspectives complement each other well. The added advantage of knowing math allows one to write provably correct functions, finding their runtimes etc. In this age of LLMs spewing code, this probably is the best trick a programmer can have up their sleeves.