Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Artiona Bogo
SAP 区块链业务开发经理。
Igor Khmel
BANKEX 创始人兼首席执行官。
Javed Khan
MerkleBlock 创始人。
Shogo Sean Ochiai
Cryptoeconomics Lab 联合创始人。
Seth Feibus
TAP Network 软件开发工程师。
Brandon Ramirez
The Graph 与 Edge & Node 联合创始人。
Brennan Fife
DerivaDEX 前端及 Web 3.0 开发者。
LIGO
Tezos 新的智能合约语言。
Ismail Khoffi
LazyLedger 联合创始人兼首席技术官。