Creating a database of motivated proofs
gowers.wordpress.com
It’s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous post was actually happening. The ans…