Zulip Chat Archive
Stream: general
Topic: YouTube just automatically generated
Martin Dvořák (Mar 07 2023 at 17:20):
Edit: I was completely wrong.
Henrik Böving (Mar 07 2023 at 19:10):
Impressive, they got the spelling of Lean correct
Last updated: Dec 20 2023 at 11:08 UTC