Loki - Lean formalization meeting

Add to calendar
to
Hans Freudenthal Building

Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!

Start date and time
End date and time
Location
Hans Freudenthal building - Library
Add to calendar