I will explain how I think formal mathematics will eventually become a useful tool for many mathematicians. Proof verification is not the only expected benefit of formal methods and I will rather focus on how they could impact exposition of mathematics.
Copyright. All Rights Reserved.