Generalizing a Mathematical Analysis library in Isabelle/HOL Ponente: Jose Divasón (Universidad de La Rioja) Lugar: Seminario Chicho (Aula 314, Edificio Vives) Hora: miércoles 15 de abril, 13:00