TY  - RPRT
TI  - ZFLean: a framework for set-level mathematics in Lean
AU  - Vincent Trélat
AU  - Matteo Pouillat
PY  - 2026
UR  - https://arxiv.org/abs/2604.24195
ID  - 2604.24195
ER  -