History
Our project began in February 2024.
Current research status
We published our first paper on this subject in 2023: Andrew Arana and Heather Burnett, “Mathematical hygiene”,. Synthese 202, 110 (2023). https://doi.org/10.1007/s11229-023-04254-8. An archived version of our paper can be found here.