Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

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

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

Last synced: 4 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 (over 5 years ago)
Default Branch: master
Last Pushed: 2020-02-19T09:17:19.000Z (over 4 years ago)
Last Synced: 2024-07-30T17:54:51.351Z (4 months 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