GitHub repository: snu-sf/promising2-coq
Primary language: Coq
Description: The Coq development of Promising 2.0 semantics for relaxed memory concurrency