TY  - RPRT
TI  - Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
AU  - Bernardo Alonso
PY  - 2026
UR  - https://arxiv.org/abs/2605.27633
ID  - 2605.27633
ER  -