Coq集合论中文教程
Home Page:https://www.zhihu.com/column/c_1428798985025167360
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
https://zhuanlan.zhihu.com/p/415778984
https://www.zhihu.com/column/c_1428798985025167360
License:Creative Commons Zero v1.0 Universal