APA (7th ed.) Citation

Viola, C., Fan, M., & Ringer, T. (2023). Proof Repair across Quotient Type Equivalences.

Chicago Style (17th ed.) Citation

Viola, Cosmo, Max Fan, and Talia Ringer. Proof Repair Across Quotient Type Equivalences. 2023.

MLA (9th ed.) Citation

Viola, Cosmo, et al. Proof Repair Across Quotient Type Equivalences. 2023.