The Coq development of local data-race-freedom guarantees in the Promising Semantics
Primary LanguageCoqMIT LicenseMIT