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: Nov 29 2023 at 21:01 UTC