Creating a Database of Motivated Proofs

gowers.wordpress.com

4 points by robinhouston 18 hours ago