= Formal proof {wiki} A proof in some system for the <formalization of mathematics>.
Back to article page