If accepted they are published in the associated Journal of Formalized Mathematics and added to the MML.
Wenn sie akzeptiert werden, werden sie im eigenen Journal of Formalized Mathematics publiziert und zur MML hinzugefügt.