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: Dec 05 2023 at 11:01 UTC