@Théo Zimmermann, @Enrico Tassi, and I have published a preprint of a paper describing the Coq Platform in the context of research reproducibility: https://hal.inria.fr/hal-03592675
Special thanks to @Michael Soegtrop for reading a draft and making many valuable comments, which we tried to address in the public preprint.
We updated the paper for the informal workshop proceedings: https://arxiv.org/abs/2203.09835
Feedback is welcome and will be taken into account in a planned future journal submission.
Last updated: Jan 30 2023 at 12:03 UTC