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: May 02 2025 at 03:31 UTC