Towards Proof Repair in Cubical Agda. - Cosmo Viola; Max Fan; Talia Ringer (CoRR, 2023)

Mechanizing Olver's Error Arithmetic. - Max Fan; Ariel E. Kellison; Samuel D. Pollard (CoRR, 2025)