I am happy to announce that the first volume of the Annals of Formalized Mathematics was just released! https://afm.episciences.org/volume/view/id/1046