Put your message here with CLAMspeech
Just-Dice.com -- Gamble or Invest your CLAM -- Provably Fair -- https://just-dice.com
0.38400983
"Freedom is the freedom to say that two plus two makes four" - Winston Smith
0.1277365
http://freeross.org
-0.07736894
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
freeross.org
-0.07745006
Follow Satoshi's original vision by switching to XT https://bitcoinxt.software. The recent anti-XT email from 'Satoshi' was fake.
-0.35871806
Satoshi Nakamoto on XT https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-August/010238.html
-0.41221038
The developers of this pretender-Bitcoin claim to be following my original vision, but nothing could be further from the truth.
-0.4143539
Bitcoin was designed to be protected from ... charismatic leaders, even if their name is Gavin Andresen, Barack Obama, or Satoshi Nakamoto.
-0.41451614