https://github.com/elefthei/docker-coq

Coq 8.7 docker image (debian:latest based)
https://github.com/elefthei/docker-coq

Last synced: 5 months ago
JSON representation

Coq 8.7 docker image (debian:latest based)

• Host: GitHub
• URL: https://github.com/elefthei/docker-coq
• Owner: elefthei
• License: mit
• Created: 2017-12-02T01:39:41.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-12-02T02:42:45.000Z (over 8 years ago)
• Last Synced: 2025-10-24T20:32:52.241Z (8 months ago)
• Size: 1.95 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project