Fig. 8From: A scaffolding toolkit to foster argumentation and proofs in mathematics: some case studiesTiles for constructing formal proofBack to article page