Formal Mathematics for Mathematicians
Andrzej Trybulec, Artur Korniłowicz, Adam Naumowicz, Krystyna M. Kuperberg · Journal of Automated Reasoning · 2012
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.