Sign inSign up

Coq-zh/SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

HTMLStars 959Forks 70Watchers 959Open issues 10
Details
仓库信息
OwnerCoq-zh
Homepagehttps://Coq-zh.github.io/SF-zh/
GitHubhttps://github.com/Coq-zh/SF-zh
Last pushed2022-03-14
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--