欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Tezos
来自开放百科 - 灰狐
（版本间的差异）
(以“Tezos ==简介== 旨在进化的区块链 ==功能== ==指南== ==项目== Coq Tezos of OCaml *[https://nomadic-labs.gitl...”为内容创建页面) |
小 (→项目) |
||
| 第11行： | 第11行： | ||
[[文件:Coq-Tezos-of-OCaml.png|right|Coq Tezos of OCaml]] | [[文件:Coq-Tezos-of-OCaml.png|right|Coq Tezos of OCaml]] | ||
*[https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/ Coq Tezos of OCaml] | *[https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/ Coq Tezos of OCaml] | ||
| + | |||
| + | ==公司== | ||
| + | *[https://www.nomadic-labs.com/ Nomadic Labs] Experts of Tezos [[Blockchain]] | ||
==图集== | ==图集== | ||
2022年2月16日 (三) 07:57的最后版本
Tezos
目录 |
[编辑] 简介
旨在进化的区块链
[编辑] 功能
[编辑] 指南
[编辑] 项目
[编辑] 公司
- Nomadic Labs Experts of Tezos Blockchain
[编辑] 图集
[编辑] 链接
分享您的观点
