Trybulec, A., Kornilowicz, A., Naumowicz, A. et al. J Autom Reasoning (2013) 50: 119. doi:10.1007/s10817-012-9268-z
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