TY  - RPRT
TI  - Martin-Löf à la Coq
AU  - Arthur Adjedj
AU  - Meven Lennon-Bertrand
AU  - Kenji Maillard
AU  - Pierre-Marie Pédrot
AU  - Loïc Pujet
PY  - 2023
UR  - https://arxiv.org/abs/2310.06376
ID  - 2310.06376
ER  -