Posted in 其他Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块 第一章：Go语言数学迭代器的理论 … Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块Read more by Go语言笔记|2026年3月15日|15408, EAL5+安全等级, 迭代器收敛性, 数学模块认证, Go语言编程实践, ISO/IEC, Coq形式化验证
