Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Vaibhav Saini
Signy、Dappkit、SimpleAsWater 联合创始人。
Kushagra Agarwal
Tokenize 开发者。
Nicolas Feignon
自由职业的区块链开发工程师。
John Newbery
Optech 总监，Chaincode Labs 比特币开发者。
Dylan Field
Figma 联合创始人兼首席执行官。
Alesh Brown
TrustWorks 创始人。
Application Research Group
简称 ARG。
Norbert Bodziony
Synthetify 首席执行官。
Psychedelic
专注于在互联网计算机上构建产品。
