1 paper · 1 filter
Alexis Gautreau
This communication contributes to research on proof validation as a lens for uncovering didactical phenomena related to proof and proving. We revisit the puzzling case of lower sec…