Get the latest tech news
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 ans…
None
Or read this on Hacker News