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

Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
https://github.com/hengxin/coq-rdt

coq replicated-data-types specification-framework

Last synced: 13 days ago
JSON representation

Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types

• Host: GitHub
• URL: https://github.com/hengxin/coq-rdt
• Owner: hengxin
• License: mit
• Created: 2020-05-30T08:34:40.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-30T12:56:17.000Z (over 4 years ago)
• Last Synced: 2024-11-10T14:13:39.236Z (2 months ago)
• Topics: coq, replicated-data-types, specification-framework
• Language: Coq
• Size: 65.4 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project