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: Apr 19 2024 at 19:02 UTC