Creating a database of motivated proofs

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 answer is yes the grant I received from the Astera Institute has funded several PhD students and a couple of postdocs, and [ ]