Stream: coq-community devs & users

Topic: New Docker-Coq co-maintainer


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Jaime Arias (Feb 03 2023 at 10:37):

Thank you @Karl Palmskog :D I'm very happy to join this team :D


Last updated: May 19 2024 at 18:02 UTC