Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.