cancelpublished A dialogical account of proofs in mathematical practice

status will change from published to submitted

validating...