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: Dec 20 2023 at 11:08 UTC