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:

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:

Feedback is welcome and will be taken into account in a planned future journal submission.

Last updated: May 24 2024 at 22:02 UTC