leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Geographic locality

Topic: Honolulu, Hawaii, USA


Bjørn Kjos-Hanssen (Feb 06 2023 at 20:35):

Don't know if it will be useful but here is a topic for my Aloha State.

Enrico Borba (Feb 11 2024 at 11:48):

Dang wish I had seen this while I still lived out there. Oh well :call_me:

David J. Webb (Jul 10 2024 at 02:11):

Well, I'm here on Zulip now, but you already knew I was in Hawaii :)


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll