Set-Theory
A formalization of the textbook Elements of Set Theory
59 stars
2 watching
4 forks
Language: Coq
last commit: about 3 years ago coqformal-languagesmathset-theorytheorem-proving
A formalization of the textbook Elements of Set Theory