网址: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追踪