Chinese translation of Software Foundations
注意：本源码库从私有库编译而得，只接受 Issue，不接受 PR！
如需参与翻译，请在此留言，管理员会将您加入 Coq-zh 项目组，并赋予 sfdev-zh 私有库的访问权限。
目前译文为 Alpha 版，不少章节尚未完成，译文中还存在大量的错误纰漏，恳请大家提 Issue 打磨斧正。
Please do not post solutions to the exercises in a public place.