Aperçu : Annals of Formalized Mathematics : un épi-journal novateur dédié à la formalisation des mathématiques Depuis juillet 2025, une publication scientifique d’un genre nouveau a vu le jour dans le domaine des mathématiques formelles. Les Annals of Formalized Mathematics (AFM) ont été lancées pour combler un vide éditorial consacré à la formalisation, cette discipline émergente qui... Annals of Formalized…