Max Fan

According to our database¹, Max Fan authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Mechanizing Olver's Error Arithmetic.

[DOI]

Proceedings of the International Workshop on Verification of Scientific Software, October, 2025

Proof Repair across Quotient Type Equivalences.

[DOI]

Proc. ACM Program. Lang., 2025

2023

Towards Proof Repair in Cubical Agda.

[DOI]

CoRR, 2023