Instructions for authors

The Annals of Formalized Mathematics is an overlay journal and its publishing model is aligned to that of the other journals published by EPIsciences.

1. Authors are required to first deposit their manuscript in an open archive: AFM accepts submissions from HAL, arXiv and Zenodo. We expect manuscripts submitted to the journal to be accompaigned by code artifacts that must themselves be open source and accessible to the referees.
2. To submit the manuscript to the journal, authors whose deposit is on HAL can proceed as explained here. Others must create an account on the EPIsciences platform (unless they already have one) and then proceed to the submission page. At this stage authors can suggest a handling editor for their submission.
3. The manuscript will undergo a single-blind review process, and the authors retain the rights of updating each version on the free repository along the process.
4. If the paper is accepted, the authors must compile the final accepted version using the AFM LaTeX class (coming soon) and upload it as a new version to the original open archive. This version will be published on the AFM's website.
5. Alongside the reference of the final AFM-formatted version deposited on the free repository of choice, authors are required to provide a permanent Software Heritage persistent ID (SWHID) of the repository containing their code. As Software Heritage regularly crawls open code repositories, chances are that their code already has a SWHID, that can be checked here: if not, they can request one.
6. For more details concerning further versioning beyond acceptance and retraction policies, we refer to the relevant parts in the Publishing policies section.