Aperçu : Annals of Formalized Mathematics : une revue scientifique pionnière pour la formalisation des mathématiques Depuis juillet 2025, une nouvelle publication innovante enrichit le paysage de la recherche mathématique : Annals of Formalized Mathematics, un épi-journal novateur dédié à la discipline en plein essor de la formalisation des mathématiques. Cette revue académique, lancée sous la direction... Annals of Formalized…