Stream: coq-community devs & users

Topic: coq-community project growth


view this post on Zulip Karl Palmskog (Oct 09 2020 at 23:56):

This is pretty nice: https://github.com/coq-community/coq-community.github.io/commit/2149101d54f6778c728b01e03f0f0e5f921e7943#diff-d680e8a854a7cbad6d490c445cba2eba (since May or so)

view this post on Zulip Karl Palmskog (Oct 09 2020 at 23:58):

signs of life for the old, scarred man?

view this post on Zulip Karl Palmskog (Oct 15 2020 at 08:47):

in the interest of better outreach/advertisement, etc., maybe we can/should do periodic announcements of new coq-community projects on the Discourse? (Assuming there are > 3 new ones over 6 months, or so)

view this post on Zulip Karl Palmskog (Oct 15 2020 at 08:50):

ideally we would do what OCaml does (http://alan.petitepomme.net/cwn/), but "bi-annual" may be a more reasonable target


Last updated: Mar 29 2024 at 01:40 UTC