深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
挪威领先的区块链公司。 Blockchangers概述, Blockchangers信息, Blockchangers区块链, Blockchangers维基, Blockchangers社交, Blockchangers Medium, Blockchangers ICO, Blockchangers回顾, Blockchangers快讯, Blockchangers追踪
区块链开发与智能合约审计。 MixBytes概述, MixBytes信息, MixBytes区块链, MixBytes维基, MixBytes社交, MixBytes Medium, MixBytes ICO, MixBytes回顾, MixBytes快讯, MixBytes追踪
分布式银行业务的未来。 Access Network概述, Access Network信息, Access Network区块链, Access Network维基, Access Network社交, Access Network Medium, Access Network ICO, Access Network回顾, Access Network快讯, Access Network追踪
图灵奖得主、密码学之父 Dr. Diffie 创办的斯坦福区块链研究室。 Cryptic Labs概述, Cryptic Labs信息, Cryptic Labs区块链, Cryptic Labs维基, Cryptic Labs社交, Cryptic Labs Medium, Cryptic Labs ICO, Cryptic Labs回顾, Cryptic Labs快讯, Cryptic La