Qeditas
IOHK |

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

Resources

Latest commits