Stream: hs-to-coq devs & users

Topic: public stream

view this post on Zulip Ali Caglayan (Sep 28 2022 at 17:44):

@Théo Zimmermann We can probably make this stream web public

view this post on Zulip Karl Palmskog (Sep 28 2022 at 17:46):

also the quite active #math-comp analysis

Last updated: Feb 06 2023 at 05:03 UTC