26/06/2024, quarta, 12:00–12:30 Sala P3.10, Pavilhão de Matemática Miguel Marques, Instituto Superior Técnico Aplicar o Coq à Teoria de Grupos