网址：https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
BTC跌破19000美元关口 日内跌幅为1.38%:火币全球站数据显示，BTC短线下跌，跌破19000美元关口，现报18998.99美元，日内跌幅达到1.38%，行情波动较大，请做好风险控制。[2020/12/2 22:47:33]
法国软件公司 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 等做为形式化验证的初始工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
位于埃及开罗的区块链创业公司。 Lamarkaz概述, Lamarkaz信息, Lamarkaz区块链, Lamarkaz维基, Lamarkaz社交, Lamarkaz Medium, Lamarkaz ICO, Lamarkaz回顾, Lamarkaz快讯, Lamarkaz追踪
在区块链上创建和投资独立资产的股票。 Meridio概述, Meridio信息, Meridio区块链, Meridio维基, Meridio社交, Meridio Medium, Meridio ICO, Meridio回顾, Meridio快讯, Meridio追踪
创建视频游戏、数字资产与工具。 8 Circuit Studios概述, 8 Circuit Studios信息, 8 Circuit Studios区块链, 8 Circuit Studios维基, 8 Circuit Studios社交, 8 Circuit Studios Medium, 8 Circuit Studios ICO, 8 Circuit Studios回顾, 8 Circu
共同构建 Plasma 解决方案。 Plasma Group概述, Plasma Group信息, Plasma Group区块链, Plasma Group维基, Plasma Group社交, Plasma Group Medium, Plasma Group ICO, Plasma Group回顾, Plasma Group快讯, Plasma Group追踪