Pierre Rousselin

According to our database¹, Pierre Rousselin authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Maths with Coq in L1, a pedagogical experiment.

[BibT_eX]

[DOI]

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

Teaching Divisibility and Binomials with Coq.

[BibT_eX]

[DOI]

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, 2024