The Coq development of Promising 2.0 semantics for relaxed memory concurrency
Primary LanguageCoqMIT LicenseMIT