Córdoba, Argentina

Stream: Geographic locality

[Pedro Sánchez Terraf]

I'd like to announce that @Miguel Pagano will lecture on proof assistants and formalization of mathematics at the National University of Cordoba. It is expected that mathematicians attending will work with Lean :tada:.

This will be a hybrid course in Spanish at the following link: https://meet.google.com/umz-uden-myb.