/Set-Theory

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

Primary LanguageAgdaMIT LicenseMIT

Watchers