Advances in Mathematics education research on proof and proving: an international perspective - Stylianides, Andreas J; Harel, Guershon (Monographs ICME, 13, 2018)