https://github.com/calvinneo/cooooq

coq codes
https://github.com/calvinneo/cooooq

coq

Last synced: 12 months ago
JSON representation

coq codes

• Host: GitHub
• URL: https://github.com/calvinneo/cooooq
• Owner: CalvinNeo
• License: apache-2.0
• Created: 2017-03-12T11:19:12.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-03-12T11:19:13.000Z (over 9 years ago)
• Last Synced: 2025-07-07T16:38:52.347Z (12 months ago)
• Topics: coq
• Size: 3.91 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Cooooq

coq codes