| id | 150787299 |
|---|
| name | docker-coq |
|---|
| full_name | coq-community/docker-coq |
|---|
| html_url | https://github.com/coq-community/docker-coq |
|---|
| description | Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito] |
|---|
| created_at | Sept. 28, 2018, 7:42 p.m. |
|---|
| updated_at | Sept. 10, 2024, 11:50 p.m. |
|---|
| pushed_at | Sept. 10, 2024, 11:50 p.m. |
|---|
| size | 325 |
|---|
| stargazers_count | 37 |
|---|
| watchers_count | 7 |
|---|
| forks_count | 3 |
|---|
| open_issues | 6 |
|---|
| language | Dockerfile |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|