《软件基础》中译版：将《软件基础》译成中文
项目简介
《软件基础》中译版（Software Foundations Chinese Translation）是对《软件基础》（Software Foundations）系列教材的中文翻译项目。该系列教材由Benjamin C. Pierce教授等多位作者合著，丛书包含《逻辑基础》《程序语言基础》《函数算法验证》《QuickChick：软件特性测试》等卷，它深入浅出地介绍可靠软件的数理逻辑基础。此项目的译文为Alpha版，首卷《逻辑基础》初译完毕待审校，次卷《程序语言基础》正在翻译中。这里只接受Issue，PR对象仅限说明文档、测试脚本等。同时欢迎有志之士参与翻译及繁体中文版制作，也欢迎读者来参与翻译相关讨论。
项目总结
《软件基础》中译版项目对于将相关知识推广到中文读者有着重要意义，虽然目前处于翻译的过程中且译文为Alpha版存在不足，但为广大读者提供了学习参考的机会。期待各位读者在阅读过程中发现问题以Issue形式反馈，也欢迎大家留言参与对该项目的讨论。