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: 765 mbits

Total Unclaimed Treasures Remaining in the Treasure Hunt: 6.431 bitcoins

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

(a video for theorem proving beginners)

July 19, 2014

Natural Numbers as Sets *- free*

July 12, 2014

July 5, 2014

Quotients (Proofs as Exercises) *- paywall*

June 28, 2014

June 21, 2014

Exactly 1 of 2 or 3 *- free*

June 14, 2014

Earlier