TY  - RPRT
TI  - Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
AU  - Guillermo L. Incatasciato
AU  - Pedro Sánchez Terraf
PY  - 2024
UR  - https://arxiv.org/abs/2404.11638
ID  - 2404.11638
ER  -