Stream: Coq Platform devs & users

Topic: Paper on the Platform


view this post on Zulip Karl Palmskog (Mar 01 2022 at 15:09):

@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.

view this post on Zulip Karl Palmskog (Mar 23 2022 at 10:31):

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