Update README.md

teorth · Nov 15, 2023 · c5c01d8 · c5c01d8
1 parent bda4a3a
commit c5c01d8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -2,6 +2,10 @@ The purpose of this repository is to hold a Lean4 formalization of the proof of
 
 Discussion of the project will be held on this Zulip stream: https://leanprover.zulipchat.com/#narrow/stream/412902-Polynomial-Freiman-Ruzsa-conjecture
 
+A blueprint of the proof will be developed at https://teorth.github.io/pfr/blueprint
+
+Documentation of the methods is at https://teorth.github.io/pfr/docs
+
 Additional discussion of the project may be found at https://terrytao.wordpress.com/2023/11/13/on-a-conjecture-of-marton/