Zulip Chat Archive

Stream: Polynomial Freiman-Ruzsa conjecture

Topic: Blog post "tour" of project

Terence Tao (Nov 18 2023 at 23:54):

I wrote a blog post giving a "quick tour" of the PFR project at

https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/

Comments welcome.

Last updated: Dec 20 2023 at 11:08 UTC