Stream: coq-community devs & users

Topic: Project recommendations and warnings

view this post on Zulip Karl Palmskog (Jan 01 2022 at 15:19):

I put stars :star: and warnings :warning: for projects in coq-community on the website: https://coq-community.org

Opinions on which projects should have stars/warnings are welcome.

Last updated: Jun 03 2023 at 17:29 UTC