Stream: Coq devs & plugin devs

Topic: Linking issues/PR


view this post on Zulip Cyril Cohen (May 07 2020 at 18:57):

One can use coq/coq#number (e.g. coq/coq#8855) to refer to PRs


Last updated: May 24 2024 at 22:02 UTC