Update README.md

weakmemory · Mar 18, 2020 · 435acc3 · 435acc3
1 parent 501c2a4
commit 435acc3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -15,7 +15,7 @@
 ### Requirements
 * [Coq 8.9.1](https://coq.inria.fr)
 * [Hahn library](https://github.com/vafeiadis/hahn) (`coq-hahn`)
-* [The Coq development of A Promising Semantics for Relaxed-Memory Concurrency](https://github.com/snu-sf/promising-coq/tree/imm) (`coq-promising`)
+* [The Coq development of IMM](https://github.com/weakmemory/imm) (`coq-imm`)
 
 ### Building Manually