Annals of Formalized Mathematics

The act of formalizing a proof is not mechanical: it involves substantial mathematical insight in its own right, and it constitutes the essence of formalized mathematics, which is now recognized as a mathematical discipline on its own.

AFM editorial board

The Annals of Formalized Mathematics is the first journal in this topical field, and it is diamond open access ! Math OA is proud to support the initiative in the form of an overlay journal.