Baby-Set-Theory

Coq集合论中文教程

GitHub

41 stars
1 watching
3 forks
Language: Coq
last commit: almost 3 years ago
coqmathset-theorytheorem-proving

Screenshot of choukh/Baby-Set-Theory website

www.zhihu.com/column/c_1428798985025167360