1. Rigor and formalization;Synthese;2024-03-04
2. Mathematical Rigour and Informal Proof;2024-03-01
3. The Epistemological Subject(s) of Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2024
4. Diagrammatic Proofs in Mathematics: (Almost) 20 Years of Research;Handbook of the History and Philosophy of Mathematical Practice;2024
5. The Epistemological Subject(s) of Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2023-12-06