Une blockchain formellement vérifiable implémentée en OCaml https://tezos.com/index.html #FrenchTech
D'après ce que je comprends c'est du custom ; si tu veux jouer avec: https://tezos.com/pages/tech.html et https://github.com/tezos/tezos/tree/master/src …
-
-
Cool ! Je regarderai apres ethereum :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.