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: Feb 04 2023 at 02:03 UTC