欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
区块链社会
来自开放百科 - 灰狐
区块链社会
目录 |
愿景
一个自由、平等、美好、公正的社会,历史要完整保留,不能被篡改。
信任是我们社会中最重要的部分,区块链是信任机器。
简介
架构
Cardano 希望成为一个主要的社会和金融操作系统。
Functional Network & Functional Cloud, A solid foundation.
Haskell ecosystem & Cardano blockchain platform
图书
图集
链接
分享您的观点