TY  - RPRT
TI  - Reliably Reproducing Machine-Checked Proofs with the Coq Platform
AU  - Karl Palmskog
AU  - Enrico Tassi
AU  - Théo Zimmermann
PY  - 2022
UR  - https://arxiv.org/abs/2203.09835
ID  - 2203.09835
ER  -