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: https://github.com/coq-community/docker-coq-action/network/dependents (275 repos, even if some are forks created for PRs)


Last updated: Feb 05 2023 at 14:02 UTC