https://github.com/hengxin/coq-rock

Rock on Coq
https://github.com/hengxin/coq-rock

coq distributed-system formal-methods programming-language theorem-prover

Last synced: 6 days ago
JSON representation

Rock on Coq

• Host: GitHub
• URL: https://github.com/hengxin/coq-rock
• Owner: hengxin
• License: mit
• Created: 2019-04-24T13:20:02.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2020-02-19T09:17:19.000Z (over 6 years ago)
• Last Synced: 2025-02-25T05:27:39.841Z (over 1 year ago)
• Topics: coq, distributed-system, formal-methods, programming-language, theorem-prover
• Language: Coq
• Size: 17.6 MB
• Stars: 0
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# coq-rock (Rock on Coq)

![cop-rock](https://github.com/hengxin/coq-rock/blob/master/coq.jpg)