Qeditas
Bitcoin is for money, Ethereum is for computation, Qeditas is for deduction
IOHK supported project
Qeditas is a project to apply block chain technology to support the construction of a library of formalized mathematics. It is intended to be a realization (or possibly revival) of the QED project, as described in the QED Manifesto.
Spin-Off and Snapshot
Qeditas is a Bitcoin Spin-Off in the sense of Peter R’s thread:
The current plan was to take a snapshot of the Bitcoin block chain up to (not including) the block at height 350,000. At that point 2/3 of the Bitcoin distribution was complete. This block should be published on (approximately) March 31, 2015. If you had bitcoins under your (sole) control, then you have a corresponding initial distribution in Qeditas. Your part of the initial distribution is easiest to claim if it is in an ordinary pay-to-public-key-hash (p2pkh) address.
Alpha Release qeditas-0.0.1.tar.gz