leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Big Proof 2019

Topic: lunch


Patrick Massot (May 27 2019 at 09:44):

Are there people around Pollocks hall of residence who want to have lunch before going to ICMS ?

Rob Lewis (May 27 2019 at 10:36):

I'm working right now in the lounge area of the hotel near the reception desk. Happy to go for a light lunch before things start up.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll