形式化证明
Go到底算不算图灵完备语言?用37行形式化证明+Go 1.23 beta编译器实测给出权威结论
第一章:Go到底算不算图灵完备语 … Go到底算不算图灵完备语言?用37行形式化证明+Go 1.23 beta编译器实测给出权威结论Read more
Go语言在形式化证明辅助工具链中的隐秘崛起:Coq插件/Lean元编程/Isabelle导出器实战三部曲
第一章:Go语言可以搞学术吗 G … Go语言在形式化证明辅助工具链中的隐秘崛起:Coq插件/Lean元编程/Isabelle导出器实战三部曲Read more
Go接口满足LSP吗?用形式化证明+3大主流框架源码验证接口可替换性边界
第一章:Go接口是什么 Go语言 … Go接口满足LSP吗?用形式化证明+3大主流框架源码验证接口可替换性边界Read more
