Zulip Chat Archive

Stream: Zulip meta

Topic: lean4 linkifier

Mario Carneiro (Dec 18 2021 at 21:03):

just an FYI, I added a lean4#123 linkifier (instead of leanproject/lean4#123)

Last updated: May 02 2025 at 03:31 UTC