The widespread use of Dynamic Geometry Software (DGS) is raising many interesting questions and discussions as to the necessity, usefulness and meaning of proof in school mathematics. With these questions in mind, a didactical sequence on the topic “Conics” was developed in a teacher education course tailored for pre-service secondary math methods course. The idea of the didactical sequence is to introduce “Conics” using a concrete manipulative approach (paper folding) then an explorative DGS-based construction activity embedding the need for a proof. For that purpose, the DGS software serves as an intermediary tool, used to bridge the gap between the physical model and the formal symbolic system of proof. The paper will present an analysis of participants’ geometric thinking strategies, featuring proof as an embedded process in geometric construction situations.