What would you say is the "end goal" of formalizing mathematics?
@j2kun Eutopia.
Slightly more instrumentally: better algorithms!
a Schelling point for those who seek one
