1 paper
Sylvie Boldo, François Clément, David Hamelin +2
The goal of this contribution is to provide worksheets in Coq for students to learn about divisibility and binomials. These basic topics are a good case study as they are widely ta…