APA (7th ed.) Citation

Brough, J. (2026). Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda.

Chicago Style (17th ed.) Citation

Brough, Jackson. Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda. 2026.

MLA (9th ed.) Citation

Brough, Jackson. Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda. 2026.

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