/zf-in-agda

define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.