ZFLean

A practical framework for set-theoretical development in Lean