It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it . The article may be deleted if this message remains in place for seven days, i.e., after 22:15, 27 November 2025 (UTC). Find sources: "Annals of Formalized Mathematics" – news · newspapers · books · scholar · JSTOR |
Another editor has reviewed this page's proposed deletion , endorses the proposal to delete, and adds: If you remove the {{proposed deletion/dated}} tag above, please also remove this {{Proposed deletion endorsed}} tag. |
The Annals of Formalized Mathematics is a mathematical journal published by EPISciences. [1]
The journal was founded by Robert Y. Lewis and Filippo A. E. Nuccio in 2024. [2] It functions as an overlay journal and aims to fill in a gap in the academic publishing landscape, as previously formalisation of mathematics articles had to be published in computer science journals.
| Discipline | Mathematics, Formalisation |
|---|---|
| Language | English |
| Publication details | |
| History | 2025–present |
| Publisher | Episciences (The Netherlands) |
| Frequency | Yearly |
| Yes | |
| License | CC-BY 4.0 |
| ISO 4 | Find out here |
  | This article about a mathematics journal is a stub. You can help Wikipedia by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page. |