TY  - RPRT
TI  - Teaching Divisibility and Binomials with Coq
AU  - Sylvie Boldo
AU  - François Clément
AU  - David Hamelin
AU  - Micaela Mayero
AU  - Pierre Rousselin
PY  - 2025
DO  - 10.4204/eptcs.419.8
UR  - https://arxiv.org/abs/2404.12676
ID  - 2404.12676
ER  -