with Giardino, V. , 2015, An inquiry into the practice of proving in low-dimensional topology, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 315-336.