/promising2-coq

The Coq development of Promising 2.0 semantics for relaxed memory concurrency

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.