leanprover-community / mathlib

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

Zulip Chat Archive

Stream: general

Topic: May the 4th


Johan Commelin (May 04 2019 at 05:48):

May the 4th be with you!

Johan Commelin (May 04 2020 at 16:36):

@Nam This is how it went last year (-;

Nam (May 04 2020 at 16:53):

haha, okay! i'm also watching Lego Masters ep 09 about building Star Wars droid.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll