第一章：Go不是“快”，是“可验 … Go不是“快”，是“可验证”——用形式化方法证明语言学算法正确性的6步推演法Read more
回溯算法正确性
Golang回溯算法可证明正确性实践：使用Coq形式化验证你的回溯逻辑
第一章：Golang回溯算法的基 … Golang回溯算法可证明正确性实践：使用Coq形式化验证你的回溯逻辑Read more
第一章：Go不是“快”，是“可验 … Go不是“快”，是“可验证”——用形式化方法证明语言学算法正确性的6步推演法Read more
第一章：Golang回溯算法的基 … Golang回溯算法可证明正确性实践：使用Coq形式化验证你的回溯逻辑Read more