Teaching Divisibility and Binomials with Coq. - Sylvie Boldo; François Clément; David Hamelin; Micaela Mayero; Pierre Rousselin (ThEdu@CADE, 2024)