第一章：Go语言是哪个范式的终极 … Go语言是哪个范式的终极实现？，从并发模型到错误处理，用形式化验证证明其“无异常”设计的数学完备性Read more
Coq形式化验证
Go会有编程语言吗？——用Coq验证Go内存模型happens-before关系的7个不可绕过公理
第一章：Go会有编程语言吗？ 这 … Go会有编程语言吗？——用Coq验证Go内存模型happens-before关系的7个不可绕过公理Read more
第一章：Go语言是哪个范式的终极 … Go语言是哪个范式的终极实现？，从并发模型到错误处理，用形式化验证证明其“无异常”设计的数学完备性Read more
第一章：Go会有编程语言吗？ 这 … Go会有编程语言吗？——用Coq验证Go内存模型happens-before关系的7个不可绕过公理Read more