Creating a database of motivated proofs | Gowers's Weblog
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…| Gowers's Weblog
