, Volume 50, Issue 2, pp 119-121,
Open Access This content is freely available online to anyone, anywhere at any time.
Date: 01 Nov 2012

Formal Mathematics for Mathematicians


The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of articles by practitioners of formalizing proofs who share a deep interest in making computerized mathematics widely available.