Formal Mathematics for Mathematicians Foreward to the Special Issue
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.
formalization repositories of mathematics mathematical proof reconstruction