欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hyperledger Project 超级账本项目
超级账本项目的最终目标是要打造可以跨行业的区块链解决方案，也许会成为类似于金融行业的区块链Red Hat，并且推动成为事实上的工业标准。
超级账本项目是一个Linux基金会合作项目。
