snu-sf / promising-coqLinks

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
37Updated 7 months ago

Alternatives and similar repositories for promising-coq

Users that are interested in promising-coq are comparing it to the libraries listed below

Sorting: