Formal Friday

Every Friday at 11:00, starting June 27, 2025, we meet in SR 232 in order to discuss formalization of mathematics.

This date is in particular reserved for questions regarding the projects within the course Interactive Theorem Proving using Lean, Summer 2025