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: Feb 02 2023 at 13:03 UTC