Cita APA (7a ed.)
Carneiro, M. (Dec 23, 2024). Reimplementing Mizar in Rust. arXiv.org.
Cita Chicago Style (17a ed.)
Carneiro, Mario. "Reimplementing Mizar in Rust." ArXiv.org Dec 23, 2024.
Cita MLA (9a ed.)
Carneiro, Mario. "Reimplementing Mizar in Rust." ArXiv.org, Dec 23, 2024.
Precaución: Estas citas no son 100% exactas.