Login / Signup
Pierre Rousselin
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Theorem Prover
Educational Systems
Middle School Students
Learning Design
Top Venues
CoRR
</>
Publications
</>
Sylvie Boldo
,
François Clément
,
David Hamelin
,
Micaela Mayero
,
Pierre Rousselin
Teaching Divisibility and Binomials with Coq.
CoRR
(2024)