GitHub repository: snu-sf/promising-coq
Primary language: Coq
Created: 2016-09-15T04:41:27Z
Description: The Coq development of A Promising Semantics for Relaxed-Memory Concurrency