Mathgate was a website for learning logic and mathematics through formal proofs.
It's essentially an archive now.
While there are no ads on mathgate.info, I feel compelled to share this anti-ad coming from personal experience on October 9, 2014:
If you're choosing an airline, please do not choose AirBerlin. They cannot be trusted.
Of course, AirBerlin did not pay me to place this anti-ad, but I am doing it in response to losing hundreds of Euros to the lying bastards. So I suppose they anti-paid for the anti-ad.
The treasure hunt ended Saturday, September 27, 2014. Thanks to everyone who took part.
Not counting the extra group theory problems, 8 people took part in the treasure hunt. Here are the list ranked by number of problems solved.
Clicking on the address gives a PGP signed certificate (by my public key) indicating that the owner of the address participated.
Three other participants solved 4 of the "extra" 7 group theory problems:
13eTCGuu6dH7fkSfQQDaq9AYAhhpQYrJ7v solved 2 of the group theory problems.
12VTC6QB8Gd3tQy5oKr7FnvY7uK8jCZphq solved 1 of the group theory problems. I gave some (public) help in a reddit thread.
16HvHkZvBxZTmENBFk1y7KDconKm3J2yQR "solved" 1 of the group theory problems by cut-and-paste. I had publicly posted the solution on the same reddit thread in an attempt to spark some interest in the treasure hunt.
Proving Your First Theorems (a video for theorem proving beginners)