Stream: coq-community devs & users

Topic: Docker-Coq-Action users

view this post on Zulip Karl Palmskog (Apr 09 2022 at 21:19):

I didn't realize until now that a listing of repos using Docker-Coq-Action is actually an interesting perspective on what is going on the Coq community: (275 repos, even if some are forks created for PRs)

Last updated: Feb 05 2023 at 14:02 UTC