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: Oct 16 2021 at 01:03 UTC