Coq集合论中文教程
Primary LanguageCoqCreative Commons Zero v1.0 UniversalCC0-1.0
https://zhuanlan.zhihu.com/p/415778984