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