Zulip Chat Archive
Stream: mathlib4
Topic: linkifier
Johan Commelin (Jan 24 2023 at 07:55):
Ruben Van de Velde (Jan 24 2023 at 08:03):
Is that lib4 or lean4?
Johan Commelin (Jan 24 2023 at 08:03):
mathlib
Johan Commelin (Jan 24 2023 at 08:06):
I just got tired of preprending mathlib4 to PR numbers all the time. Especially in thread titles.
Last updated: Dec 20 2023 at 11:08 UTC