This book is about research on the teaching and learning of proof in mathematics over the last fifty years. The second part details a classical case study of students’ dynamics of proof and refutation, resulting in a typology of proofs that sheds light on the links between proving and knowing.