APA (7th ed.) Citation

Kerjean, M., Mayero, M., & Rousselin, P. (2025). Maths with Coq in L1, a pedagogical experiment.

Chicago Style (17th ed.) Citation

Kerjean, Marie, Micaela Mayero, and Pierre Rousselin. Maths with Coq in L1, a Pedagogical Experiment. 2025.

MLA (9th ed.) Citation

Kerjean, Marie, et al. Maths with Coq in L1, a Pedagogical Experiment. 2025.