choukh

choukh

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
107 Stars
7 Forks
107 Watchers

Repositories (2)

Set-Theory choukh/Set-Theory Coq

A formalization of the textbook Elements of Set Theory

61
Baby-Set-Theory choukh/Baby-Set-Theory Coq

Coq集合论中文教程

46