Line Edslev Andersen

, 2020, 'Acceptable gaps in mathematical proofs', Synthese 197 (1), 233-247.