Betreff: Formalized Mathematics at Bonn
Beschreibung:
Mailing list about events related to formalized mathematics at the University of Bonn.Betreff: Formalized Mathematics at Bonn
Beschreibung:
Mailing list about events related to formalized mathematics at the University of Bonn.