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.

Preparing your manuscript

  • Authors are responsible for the correctness and completeness of the arguments in the paper, and for a good-faith effort to cite the work on which theirs builds.
  • All AFM submissions must correspond to a formal artifact and papers should discuss connnections between informal text and formal statements in the artifact. At least the main result(s) must explicitly link to specific code in the artifact.
  • We are aware that code artifacts can take several different forms and we do not strictly require that submissions contain files extracted from your artifact. What is expected is that such artifact exists and is properly referenced in the manuscript.
  • Only human-authored manuscripts are accepted. All manuscripts must contain a disclosure discussing whether AI tools have been used while preparing the manuscript, the code, or both. If this is the case, we require authors to provide details of the tools and the tasks for which they were used.
  • We require authors to disclose all funding sources related to the submitted work, including subsidized access to tools and/or software.
  • The use of in-text code blocks should be limited to situations in which the code complements the text. We expect reviewers and interested readers to look at code artifacts alongside papers; it is not necessary to reproduce a substantial part of the code artifact in the paper itself. 
  • Currently, we do not publicly provide our official style file, so please submit papers using your prefered class.
  • Different provers have infrastructure available for typing code in LaTeX: feel free to use any package that is standard for your community.

Submission procedure

  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. Some repositories allow submissions of many file types; please make sure that the pdf of your manuscript is not contained in a zip archive. 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, following our typesetting and copyediting procedure, the authors will 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 invited 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.