Stream: Coq Platform devs & users

Topic: Coq platform and Debian


view this post on Zulip Julien Puydt (Mar 18 2022 at 12:52):

Hi, I'm the Debian developer doing most of the work on coq-related packages these days ; we have had a long private chat with @Michael Soegtrop , and agree that we have common interests and problems and hence should cooperate and converge.

I have a comparison page to see how things compare between the two, which should help and be of general interest in this stream/channel.


Last updated: Jan 29 2023 at 19:02 UTC