I am concerned that “written in Haskell and OCaml are closer to algebra and therefore easier to formally verify” may turn out to be a myth that is accepted without…
Read More
This is the translation of an interview in French of Vincent Botbol: http://binaire.blog.lemonde.fr/2019/01/14/tezos-une-cryptomonnaie-a-232-millions-de-dollars/ Tezos: a 232 million dollars cryptocurrency In July 2017, Tezos makes a remarked entrance in the world…
Follow Our Tweets
Neat, multisig support coming to the #Tezos CLI!
https://t.co/qJgNmQXSXv
It's a small thing but built in support is really convenient. What's more that contract has some formal proofs of correctness in Coq.
One of the easiest ways to get started baking using a Ledger Nano S and a GUI to top things off! 🔥⚒️🧁
Kiln is now available for Ubuntu! 🎉
Baking in has never been easier - no. command. line. needed. - just Kiln and a @Ledger Nano S!
Here's how 👇
https://t.co/pJj1xepVcL
It’s gonna be a great day of awesome speakers and insightful #Tezos related topics. Go Tezos! 😃
We’re ready for you Paris #tquorum #tezos #pbws