Kerjean, M., Mayero, M., & Rousselin, P. (2025). Maths with Coq in L1, a pedagogical experiment.
Style de citation Chicago (17e éd.)Kerjean, Marie, Micaela Mayero, et Pierre Rousselin. Maths with Coq in L1, a Pedagogical Experiment. 2025.
Style de citation MLA (9e éd.)Kerjean, Marie, et al. Maths with Coq in L1, a Pedagogical Experiment. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.