Illustration: the project’s public image, pixelated by RepoMasters. Credits
BetaRare

Rocq-zh/SF-zh

《软件基础》中文版

Owner
Rocq-zh (organization)
Stars
Stars: 974
Forks
Forks: 73
Language
HTML
License
None
Created
2018
Topics
coqtranslationchinese-translation
Tier
Beta (700 to 1,999 ★) What this tier means
View on GitHub

Nearby in HTML

All HTML repos