Project Qeditas (Bill White) is live on IOHK's website.
https://iohk.io/projects/qeditas/

Microsite here: http://qeditas.org & the old QED manifesto here: https://www.cs.ru.nl/~freek/qed/qed.html

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.

In other news. Please take a look at the IOHK dash governance system (and-suggestions-for-improvement) paper in our new papers section here:

https://iohk.io/research/papers/dash-governance-system-analysis-and-suggestions-for-improvement/