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