Stream: Coq devs & plugin devs

Topic: holiday


view this post on Zulip Gaëtan Gilbert (Sep 07 2020 at 07:27):

I'll be mostly offline for a couple weeks

view this post on Zulip Enrico Tassi (Sep 07 2020 at 07:28):

enjoy

view this post on Zulip Maxime Dénès (Sep 07 2020 at 07:28):

enjoy!


Last updated: Oct 21 2021 at 20:02 UTC