Stream: Coq devs & plugin devs

Topic: fun charts

view this post on Zulip Gaëtan Gilbert (Sep 07 2021 at 10:37):

Screenshot_20210907_123650.png

view this post on Zulip Enrico Tassi (Sep 07 2021 at 11:40):

It says: take some days off!!!

Last updated: Jun 05 2023 at 09:01 UTC