Add links to new documents

informalsystems · Jun 28, 2024 · e65a52a · e65a52a
1 parent e2d2d9f
commit e65a52a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/english/forced-updates/README.md b/specs/english/forced-updates/README.md
@@ -141,7 +141,7 @@ Once L2 is rolled-back to latest L2's provenHeight, say h, a new block is append
 
 ### Invariants and temporal formulas
 
-For details we refer to the Quint file, and the upcoming analysis documentation (Points (c) and (d) in the SoW. TODO).
+For details we refer to the [state machine in Quint](https://github.com/informalsystems/malachite/blob/main/specs/quint/specs/reset/resetSystem.qnt), and the [analysis documentation](https://github.com/informalsystems/malachite/blob/main/specs/quint/specs/reset/README.md).
 
 ## Issues