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