Discipline mathématique en plein essor, la formalisation bénéficie désormais d’une revue dédiée, dont le premier numéro a été publié en juillet 2025. Plongez au cœur d’un épi-journal qui tient à mettre en valeur cette nouvelle discipline avec Filippo A. E. Nuccio, éditeur en chef et co-fondateur de Annals of Formalized Mathematics (AFM), publié…