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…
