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

Fedora-based docker image with Coq proof assistant
https://github.com/frasertweedale/docker-coq

Last synced: 15 days ago
JSON representation

Fedora-based docker image with Coq proof assistant

• Host: GitHub
• URL: https://github.com/frasertweedale/docker-coq
• Owner: frasertweedale
• Created: 2015-04-19T04:42:34.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2019-02-13T12:08:51.000Z (almost 6 years ago)
• Last Synced: 2024-11-09T03:48:45.642Z (2 months ago)
• Language: Dockerfile
• Homepage:
• Size: 0 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst

Awesome Lists containing this project

README

        
Fedora-based docker image with Coq proof assistant.

Not actively maintained.  You might be looking instead for

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