| key | value |
|---|---|
| id | 160655585 |
| name | docker-mathcomp |
| full_name | math-comp/docker-mathcomp |
| html_url | https://github.com/math-comp/docker-mathcomp |
| description | Docker images of coq-mathcomp [maintainer=@erikmd] |
| created_at | Dec. 6, 2018, 10:03 a.m. |
| updated_at | Oct. 21, 2024, 7:46 p.m. |
| pushed_at | Oct. 21, 2024, 7:46 p.m. |
| size | 133 |
| stargazers_count | 6 |
| watchers_count | 13 |
| forks_count | 2 |
| open_issues | 3 |
| language | Dockerfile |
| awesome_list |