anlun / promising-coq Goto Github PK
View Code? Open in Web Editor NEWThis project forked from snu-sf/promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Home Page: http://sf.snu.ac.kr/promise-concurrency/
License: MIT License