This is pretty nice: https://github.com/coq-community/coq-community.github.io/commit/2149101d54f6778c728b01e03f0f0e5f921e7943#diff-d680e8a854a7cbad6d490c445cba2eba (since May or so)
signs of life for the old, scarred man?
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)
ideally we would do what OCaml does (http://alan.petitepomme.net/cwn/), but "bi-annual" may be a more reasonable target
Last updated: Feb 04 2023 at 02:03 UTC