第一章：Go语言在区块链共识层的 … 全球TOP 10区块链项目中，7个用Go实现共识层——但只有这2个通过了形式化验证（附Coq证明代码片段）Read more
Coq证明辅助
用Go编写可验证量子程序：基于Coq-Golang双向绑定的量子证明辅助开发流程
第一章：量子程序可验证性的理论根 … 用Go编写可验证量子程序：基于Coq-Golang双向绑定的量子证明辅助开发流程Read more
第一章：Go语言在区块链共识层的 … 全球TOP 10区块链项目中，7个用Go实现共识层——但只有这2个通过了形式化验证（附Coq证明代码片段）Read more
第一章：量子程序可验证性的理论根 … 用Go编写可验证量子程序：基于Coq-Golang双向绑定的量子证明辅助开发流程Read more