Put your message here with CLAMspeech
Just-Dice.com -- Gamble or Invest your CLAM -- Provably Fair -- https://just-dice.com
0.32667359
"Freedom is the freedom to say that two plus two makes four" - Winston Smith
0.07040026
There Must Be A Way We Can All Vote https://bitcointalk.org/index.php?topic=1169526
-0.00647318
MathGate
Framework Foundation
Treasure Hunt
Mathgate is a website for learning logic and mathematics through formal proofs.

The Egal proof checker used in the treasure hunt is now free and open source.

December 10, 2014
There Is No Devil: A Variant of the Ontological Argument
Preamble Providing Infrastructure for Goedel's Version of the Ontological Argument
October 3, 2014
A Formal Proof that Neil deGrasse Tyson is a Jackass.
September 27, 2014
Dependent Products and Simple Exponents of Sets
September 20, 2014
Functions as Sets
September 13, 2014
Dependent Sums and Simple Products of Sets
September 6, 2014
Ordered Pairs as Sets

Proving Your First Theorems
(a video for theorem proving beginners)
August 30, 2014
Disjoint Unions
Dependent Products and Simple Exponents of Sets (Proofs as Exercises)
Preamble Signature for Dependent Products and Simple Exponents of Sets
August 23, 2014
Introduction to Ordinals
Functions as Sets (Proofs as Exercises)
Preamble Signature for Functions as Sets
August 16, 2014
Universes and Infinity
Dependent Sums and Simple Products of Sets (Proofs as Exercises)
Preamble Signature for Dependent Sums and Simple Products of Sets

Earlier
Put your message here with CLAMspeech
The people who hold the most stake in bitcoin have the most weight in a decision about bitcoin.
-0.00660422
http://freeross.org
-0.13470518
freeross.org
-0.1347863
Follow Satoshi's original vision by switching to XT https://bitcoinxt.software. The recent anti-XT email from 'Satoshi' was fake.
-0.4160543
Satoshi Nakamoto on XT https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-August/010238.html
-0.46954662