Karl Palmskog (Feb 03 2023 at 09:58): Karl Palmskog (Feb 03 2023 at 09:58):We are very happy to welcome @Jaime Arias aboard as co-maintainer with @Erik Martin-Dorel on the Docker-Coq project.
We use this Zulip stream for fast-paced discussion as a complement to GitHub issues
Karl Palmskog (Feb 03 2023 at 10:28):on the topic of preservation/reproducibility, we have an issue in the Platform about this: https://github.com/coq/platform/issues/2
Jaime Arias (Feb 03 2023 at 10:37):Thank you @Karl Palmskog :D I'm very happy to join this team :D
Last updated: Oct 08 2024 at 16:02 UTC