TY  - RPRT
TI  - Hilbert's Tenth Problem in Coq (Extended Version)
AU  - Dominique Larchey-Wendling
AU  - Yannick Forster
PY  - 2022
DO  - 10.46298/lmcs-18(1:35)2022
UR  - https://arxiv.org/abs/2003.04604
ID  - 2003.04604
ER  -