Loki - Lean formalization meeting

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