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: May 24 2024 at 22:02 UTC