A formalization of the textbook Elements of Set Theory
中文 👈
This project is a Coq formalization of the textbook Elements of Set Theory - Herbert B. Enderton. It is basically written in the order of the textbook, without considering modularity. It is suitable as an aid to the learning of set theory, not as a general mathematical library.
Coq 8.13.2
make