mathgate.info respects your anonymity.
Mathgate is a website for learning logic and mathematics through formal proofs.
Here is more information about the treasure hunt.
Proving Your First Theorems
(a video for theorem proving beginners)
August 16, 2014
August 9, 2014
August 2, 2014
July 26, 2014
July 19, 2014
July 12, 2014