Proof Formalization in Mathematics: Guest Post by Jeremy Avigad Richard Zach | University of Calgary blogs, 21 Oct 2014 There's a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential…