mathgate.info respects your anonymity.
Mathgate is a website for learning logic and mathematics through formal proofs.
Total Currently Available Unclaimed Treasures: 765 mbits
Total Unclaimed Treasures Remaining in the Treasure Hunt: 6.431 bitcoinsHere is more information about the treasure hunt.
Proving Your First Theorems
(a video for theorem proving beginners)
July 19, 2014
July 12, 2014
July 5, 2014
June 28, 2014
June 21, 2014
June 14, 2014