When
24 Oct 24
16:00 - 18:00
Where
Hybrid
Activities > Graduate Research Seminar (GRSem) > Mathematical knowledge in formal proof assistants: beyond verification? (A work in progress)
