{"id":13630722,"url":"https://github.com/Coq-zh/SF-zh","last_synced_at":"2025-04-17T17:31:55.416Z","repository":{"id":38375452,"uuid":"128003556","full_name":"Coq-zh/SF-zh","owner":"Coq-zh","description":"《软件基础》中译版 Software Foundations Chinese Translation","archived":false,"fork":false,"pushed_at":"2022-03-14T05:34:55.000Z","size":948646,"stargazers_count":934,"open_issues_count":5,"forks_count":68,"subscribers_count":52,"default_branch":"master","last_synced_at":"2025-04-04T07:09:19.668Z","etag":null,"topics":["chinese-translation","coq","translation"],"latest_commit_sha":null,"homepage":"https://Coq-zh.github.io/SF-zh/","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Coq-zh.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2018-04-04T03:45:53.000Z","updated_at":"2025-03-18T01:47:23.000Z","dependencies_parsed_at":"2022-08-09T03:15:55.431Z","dependency_job_id":null,"html_url":"https://github.com/Coq-zh/SF-zh","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Coq-zh%2FSF-zh","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Coq-zh%2FSF-zh/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Coq-zh%2FSF-zh/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Coq-zh%2FSF-zh/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Coq-zh","download_url":"https://codeload.github.com/Coq-zh/SF-zh/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249360020,"owners_count":21257152,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["chinese-translation","coq","translation"],"created_at":"2024-08-01T22:01:57.296Z","updated_at":"2025-04-17T17:31:50.406Z","avatar_url":"https://github.com/Coq-zh.png","language":"HTML","funding_links":[],"categories":["HTML","HTML (177)"],"sub_categories":[],"readme":"# 软件基础（中译版）\n[![CircleCI](https://circleci.com/gh/Coq-zh/SF-zh.svg?style=svg)](https://circleci.com/gh/Coq-zh/SF-zh)\n\nChinese translation of _[Software Foundations](https://softwarefoundations.cis.upenn.edu/)_\n\n**注意：正文编译自上游代码库，只接受 Issue；PR 对象仅限说明文档、测试脚本等。**\n\n《软件基础》系列教材（英文名 _Software Foundations_）由 Benjamin C. Pierce 教授等多位作者合著。丛书分为《逻辑基础》、《程序语言基础》、《函数算法验证》、《QuickChick：软件特性测试》诸卷，深入浅出地介绍了可靠软件的数理逻辑基础。\n\n本书可供高年级本科生、研究生、科研工作者及同等学力的广大读者学习参考。阅读此书不需具备逻辑学、程序语言等背景知识，但一定的数学基础有助于理解书中内容。\n\n**歡迎有志之士參與翻譯及繁體中文版製作，詳見 Coq 中文論壇[告示](//coq.discourse.group/t/topic/156)。**\n也歡迎各位讀者[來此](//coq.discourse.group/c/coq-in-chinese/chinese-translation)參與翻譯相關討論。\n\n首卷《逻辑基础》初译完毕，亟待审校；次卷《程序语言基础》正在翻译中。此处发布的译文为 Alpha 版，错误纰漏在所难免，恳请广大读者以 Issue 等形式批评指正。\n\n[**请勿公开发布习题解答**](https://coq-zh.github.io/SF-zh/lf-current/Preface.html#lab10)\n\n[**Please do not post solutions to the exercises in a public place.**](https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html#lab10)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FCoq-zh%2FSF-zh","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FCoq-zh%2FSF-zh","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FCoq-zh%2FSF-zh/lists"}