ZFLean #
Source: url:https://doi.org/10.1007/3-540-44761-X
Authors: Vincent Trélat
Status: verified
Main declarations: ZFSet.isIso_of_biembedding, ZFSet.ZFNat.induction, ZFSet.ZFInt.induction
Tags: set-theory, zfc, foundations
MSC: 03E30, 03B35
ZFLean #
A practical framework for set-theoretical development in Lean.