Impressum

**Contact Person**

Dr. Brown

Bitmessage:

Dr. Brown

Bitmessage:

BM-2DA9t7SbiWNhctUpCGaozqojK4aNWwH4mm

mathgate.info respects your anonymity.

Mathgate is a website for learning logic and mathematics through formal proofs.

Total Currently Available Unclaimed Treasures: 1.685 bitcoins

Total Unclaimed Treasures Remaining in the Treasure Hunt: 6.213 bitcoins

Here is more information about the treasure hunt.
Proving Your First Theorems

(a video for theorem proving beginners)

July 26, 2014

July 19, 2014

July 12, 2014

July 5, 2014

June 28, 2014

June 21, 2014

Earlier