GitHub repository: Coq-zh/SF-zh
Primary language: HTML
Description: 《软件基础》中译版 Software Foundations Chinese Translation