/Set-Theory

A formalization of the textbook Elements of Set Theory

Primary LanguageCoqMIT LicenseMIT

Stargazers