Not super convinced by this analogy. Tooling and convenience feel secondary in math. If formalization doesn't help us do better mathematics, not just more structured mathematics, I'm pretty skeptical these benefits will justify the cost.