Mathematics with Coq for first-year undergraduate students
Résumé
We have experienced teaching mathematics with Coq to mathematics and computer science students during the first semester of their first university year for two years. This talk is about the content of this hands-on course, its reception by the students and some perspectives and questions for a broader (in scale and content) course.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
