《软件基础》汉化组招贤纳士

《软件基础》系列教材自发布以来广受好评。它深入浅出地介绍了可靠软件的数学基础,也是公认的 Coq 入门读本。
为进一步向中文社区推广 Coq 证明助理,Coq-zh 汉化组正在翻译此书,现可在线预览
中文翻译尚不完善,错误纰漏在所难免,恳请广大读者多多指正。
有志製作繁體中文版或參與翻譯工作之同仁,敬請聯繫 @Lys

1 Like