Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
Arith		Arith
Axiom		Axiom
Definition		Definition
Document		Document
Example		Example
LargeOrdinals		LargeOrdinals
Lemma		Lemma
Notation		Notation
Theory		Theory
.gitignore		.gitignore
CoqMakefile		CoqMakefile
CoqMakefile.conf		CoqMakefile.conf
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject

Repository files navigation

Baby-Set-Theory

Coq集合论中文教程

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