Description: Mailing list about events related to formalized mathematics at the University of Bonn.