leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Lean Together 2021

Topic: thanks all!


Rob Lewis (Jan 07 2021 at 21:37):

It's a wrap! Thanks again to all of our speakers.

Rob Lewis (Jan 07 2021 at 21:37):

The week's recordings are all on YouTube at https://www.youtube.com/playlist?list=PLlF-CfQhukNnO8z3TcFcoKozif9gbl7Yt

Rob Lewis (Jan 07 2021 at 21:38):

We have plenty to think about now. Please feel free to keep discussing in this stream.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll