Embodied truths: How dynamic gestures and speech contribute to mathematical proof practices

•Dynamic gestures are associated with constructing valid mathematical proofs.•Repetitive speech is associated with constructing valid mathematical proofs.•Syntactic complexity is associated with constructing valid mathematical proofs.•Logical inference is associated with constructing valid mathematical proofs.•Dynamic gestures and logical inference uniquely predict valid proof construction.