Post
Topic
Board Announcements (Altcoins)
Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off
by
gshumway
on 09/06/2016, 09:55:51 UTC
I'm failed to make it working under the Windows,  but may be it is because of my poor OCaml envirinment knowledge,  I'll try it one more time today or tmorrow. I've tested it under the Linux (Ubuntu) and all is correct as far as I can see.) I haven't tried to use it with C code yet, will try to do it this weekend.