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: Mar 02 2024 at 16:01 UTC