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
Nearby in HTML
All HTML repos- konmik/konmik.github.ioStars: 977HTMLBeta
- qqxx6661/miaoshaStars: 977HTMLBeta
- vuejs-tips/cheatsheetStars: 974HTMLBeta
- libracoder/bootstrap-offline-docsStars: 973HTMLBeta
- liulangnan/auiStars: 971HTMLBeta
- cassidoo/HTML-CSS-TutorialStars: 970HTMLBeta