Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off
by
Bill White
on 16/11/2016, 19:57:02 UTC
I am happy to confirm that Qeditas is now an IOHK project. The first post of this thread has been edited to reflect this. The code base can now be found on github: https://github.com/input-output-hk/qeditas. If you wish to collaborate on the Qeditas project, there is a contact page on the corresponding IOHK page: https://iohk.io/projects/qeditas/.