Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/choukh/baby-set-theory
Coq集合论中文教程
https://github.com/choukh/baby-set-theory
coq math set-theory theorem-proving
Last synced: about 1 month ago
JSON representation
Coq集合论中文教程
- Host: GitHub
- URL: https://github.com/choukh/baby-set-theory
- Owner: choukh
- License: cc0-1.0
- Created: 2021-10-01T12:38:31.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2021-12-17T08:19:37.000Z (about 3 years ago)
- Last Synced: 2024-07-30T17:54:31.528Z (5 months ago)
- Topics: coq, math, set-theory, theorem-proving
- Language: Coq
- Homepage: https://www.zhihu.com/column/c_1428798985025167360
- Size: 401 KB
- Stars: 41
- Watchers: 1
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Baby-Set-Theory
Coq集合论中文教程
https://zhuanlan.zhihu.com/p/415778984