GitHub repository: weakmemory/promising2-coq
Description: The Coq development of Promising 2.0 semantics for relaxed memory concurrency