APA (7th ed.) Citation

Carneiro, M. (2023). Reimplementing Mizar in Rust.

Chicago Style (17th ed.) Citation

Carneiro, Mario. Reimplementing Mizar in Rust. 2023.

MLA (9th ed.) Citation

Carneiro, Mario. Reimplementing Mizar in Rust. 2023.

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