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.