Baby Set Theory Save

Coq集合论中文教程

Project README

Baby-Set-Theory

Coq集合论中文教程

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

Open Source Agenda is not affiliated with "Baby Set Theory" Project. README Source: choukh/Baby-Set-Theory
Stars
41
Open Issues
0
Last Commit
2 years ago
Repository
choukh/Baby-Set-Theory
License
Creative Commons Zero v1.0 Universal
Homepage
https://www.zhihu.com/column/c_1428798985025167360
Tags
Coq Math Set Theory Theorem Proving

Open Source Agenda Badge

Open Source Agenda Rating
Submit Review Review Your Favorite Project
Submit Resource Articles, Courses, Videos
Submit Article Submit a post to our blog

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?