Pierre Rousselin

12
Documents

Publications

Publications

Image document

Teaching Divisibility and Binomials with Coq

Sylvie Boldo , François Clément , David Hamelin , Micaela Mayero , Pierre Rousselin
13th International Workshop on Theorem proving components for Educational software - ThEdu 2024, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France. pp.124 - 139, ⟨10.4204/EPTCS.419.8⟩
Communication dans un congrès hal-04725586 v3
Image document

Utilisation de Coq pour l'enseignement des mathématiques en L1 et en seconde

Marie Kerjean , Micaela Mayero , Pierre Rousselin
35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès hal-04407159 v1
Image document

Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq

Thomas Lamiaux , Pierre Rousselin , Théo Zimmermann
The 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia
Communication dans un congrès hal-04823184 v1
Image document

Maths with Coq in L1, a pedagogical experiment

Marie Kerjean , Micaela Mayero , Pierre Rousselin
ThEdu 2024 - 13th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France
Communication dans un congrès hal-04823220 v1
Image document

Mathematics with Coq for first-year undergraduate students

Pierre Rousselin
The Coq Workshop 2023, Yves Bertot; Enrico Tassi, Jul 2023, Białystok, Poland
Communication dans un congrès hal-04822929 v1
Image document

Random walks on random trees

Pierre Rousselin
Probability [math.PR]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD023⟩
Thèse tel-02464070 v1