Awesome Lists

docker-coq

by coq-community

Dockerfilepushed almost 2 years ago

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

AI summary

Coq container

Provides pre-configured Docker images for building and testing the Coq proof assistant

stars
37
forks
3
watching
7
awesome list
1
View on GitHubhub.docker.com/r/coqorg/coq

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/coq-community/docker-coq/links.svg)](https://awesome.facts.dev/awesome/coq-community/docker-coq)
HTML
<a href="https://awesome.facts.dev/awesome/coq-community/docker-coq"><img src="https://awesome.facts.dev/shield/coq-community/docker-coq/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/coq-community/docker-coq/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.