Talk:Mathematical formalization

Proposal for topic page
I propose the creation of a sparate page here collecting information on the process and history of adding rigour to mathematical analysis. Yaniv256 (talk) 18:05, 23 July 2012 (UTC)

Resources
AMS Special Issue on Formal Proof