snu-sf/promising2-coq
The Coq development of Promising 2.0 semantics for relaxed memory concurrency
CoqMIT
No issues in this repository yet.
The Coq development of Promising 2.0 semantics for relaxed memory concurrency
CoqMIT
No issues in this repository yet.