Bitcoin is for money, Ethereum is for computation, Qeditas is for deduction
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.