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

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
https://github.com/coq-community/corn

coq coq-ci coq-library coq-platform real-number

Last synced: about 1 month ago
JSON representation

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

• Host: GitHub
• URL: https://github.com/coq-community/corn
• Owner: coq-community
• License: gpl-2.0
• Created: 2011-06-21T09:06:53.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2024-04-23T14:20:07.000Z (5 months ago)
• Last Synced: 2024-05-03T08:31:38.258Z (4 months ago)
• Topics: coq, coq-ci, coq-library, coq-platform, real-number
• Language: Coq
• Homepage: http://c-corn.github.io/
• Size: 10.7 MB
• Stars: 108
• Watchers: 13
• Forks: 43
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project