2 papers
cs.LO2025
Teaching Divisibility and Binomials with Coq
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…
cs.LO2025
Maths with Coq in L1, a pedagogical experiment
Marie Kerjean, Micaela Mayero, Pierre Rousselin
In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…