hengxin / coq-rdt Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

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

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
dev		dev
rdt		rdt
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

coq-rdt

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