Update README.md

leanprover-community · Oct 23, 2023 · e2aa49d · e2aa49d
1 parent 58c147f
commit e2aa49d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@ The following readme has been shamelessly copied from the [Liquid Tensor Experim
 
 ### Blueprint
 
-Here are a draft [blueprint](https://leanprover-community.github.io/flt-regular/) and  [dependency graph](https://leanprover-community.github.io/flt-regular/dep_graph_document.html).
+Here are a draft [blueprint](https://leanprover-community.github.io/flt-regular/blueprint) and  [dependency graph](https://leanprover-community.github.io/flt-regular/blueprint/dep_graph_document.html).
 
 ### Getting the project