/Set-Theory

Set theory as established in Enderton's Elements of Set Theory.

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.