Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Crypto APIs
简化区块链开发的 API。
Internal
无需维护的零代码内部工具。
Anton Kaliaev
前 Tendermint 分布式系统工程师。
StrongForce
基于 .Net 的智能合约框架。
Witek Radomski
Enjin 首席技术官。
Dan Scarfe
Cognizant Microsoft Business Group 创始人。
Fujita Takuya
Cosmos 社区贡献者。
Adam Soffer
Livepeer 产品开发工程师。
Lawrence Lim
Ramp DeFi 首席执行官。