Posted in Go语言基础和工具链Go数值计算可验证性革命：如何用go-contract为math.Sin()生成形式化证明？（含Coq脚本模板） 第一章：Go数值计算可验证性革命 … Go数值计算可验证性革命：如何用go-contract为math.Sin()生成形式化证明？（含Coq脚本模板）Read more by 加密骑士|2026年9月20日|math.Sin函数, Coq证明脚本, go-contract, Coq形式化验证, Go数值计算标准
