Merge branch 'master' of https://github.com/leanprover-community/flt-…

…regular
leanprover-community · Oct 23, 2023 · 0470e02 · 0470e02
2 parents d2396b5 + e2aa49d
commit 0470e02
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