Zulip Chat Archive
Stream: Formal conjectures
Topic: linkifier
Floris van Doorn (Dec 10 2025 at 11:41):
On request of @Yaël Dillies I've added a linkifier for easier linking to formal conjectures PRs, e.g. FC#1371
Last updated: Dec 20 2025 at 21:32 UTC