Set theory as established in Enderton's Elements of Set Theory.
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.