APA (7th ed.) Citation

Alonso, B. (2026). Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library.

Chicago Style (17th ed.) Citation

Alonso, Bernardo. Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the Coq-paradoxes Library. 2026.

MLA (9th ed.) Citation

Alonso, Bernardo. Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the Coq-paradoxes Library. 2026.

Warning: These citations may not always be 100% accurate.