Awesome

Baby-Set-Theory

Coq集合论中文教程

https://zhuanlan.zhihu.com/p/415778984