Stream: Geographic locality
Topic: Bonn, DE
Anton Lorenzen (Mar 01 2020 at 11:45):
Peter Koepke, Adrian De Lon and myself are here.
Pit Sinning (Apr 12 2020 at 15:04):
I currently study for my math b.sc in Bonn. I'm new to computational theorem proving/lean, but find the whole idea very intriguing.
Last updated: Sep 24 2022 at 18:19 UTC