Zulip Chat Archive

Stream: Geographic locality

Topic: Oxford, UK

view this post on Zulip Aurelio Carlucci (Apr 12 2020 at 21:55):

Thanks for creating this stream! I am in Oxford. While I am working in algebraic geometry, I recently took up a keen interest in type theory and LEAN.

view this post on Zulip Dima Pasechnik (Jun 29 2020 at 22:42):

I'm a lecturer at the CS department of U. of Oxford, and work a lot on various open-source computer algebra projects, mostly SageMath (and I also write maths papers). I know too much about Python, git, bash etc, and too little about proof systems.

view this post on Zulip Johan Commelin (Jun 30 2020 at 04:32):

Hi @Dima Pasechnik, welcome!

Last updated: May 09 2021 at 21:10 UTC