Stream: Coq devs & plugin devs

Topic: Coq Call September 19th

view this post on Zulip Hugo Herbelin (Sep 19 2023 at 20:03):

I shortly added notes for today's call on "discharge on the fly". Please amend or extend to reflect what I could have forgotten or misunderstood.

Last updated: Jul 24 2024 at 11:01 UTC