Karl Palmskog (Apr 09 2022 at 21:19): 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: Jun 06 2023 at 23:01 UTC