Home

Founded in 2024, the Annals of Formalized Mathematics is a MathOA-supported diamond open access overlay journal. It publishes original articles about formalized mathematics and mathematical applications of proof assistants. The journal accepts papers in English that are accompanied by a code artifact.

The AFM publishes papers on the mathematical applications of proof assistants and automated reasoning tools. Papers should be written for an audience of mathematicians and should focus on the mathematics. Papers do not necessarily need to present novel mathematical proofs but should describe the mathematical lessons learned during the formalization process.

For more details about our journal, please refer to our Aims and scope.