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