Zulip Chat Archive

Stream: Geographic locality

Topic: Copenhagen, DK

boris (Nov 10 2021 at 12:55):

Newbie here, thought I'd add a pin on the map.

David Thrane Christiansen (Apr 10 2022 at 12:58):

Hello! I'm in CPH myself!

boris (Sep 26 2022 at 20:05):

Hello, I am thinking of organising a kind of meetup if anyone would like to come and learn and code maths together. It is likely take place at the maths department at UCPH.

David Thrane Christiansen (Jan 14 2023 at 14:26):

Unfortunately I'm extremely busy! Have you talked to any of the DIKU folks who are interested in proof assistants and verification?

Last updated: Dec 20 2023 at 11:08 UTC