Aperçu : Un nouvel épi-journal pour révolutionner la publication en mathématiques formelles Depuis juillet 2025, le monde de la recherche mathématique accueille une publication scientifique innovante : les Annals of Formalized Mathematics. Cette revue académique se distingue en étant un épi-journal dédié à la formalisation, une discipline en pleine croissance qui vise à rendre les démonstrations mathématiques... Un nouvel épi-journal…