Stream: coq-community devs & users

Topic: Additional Streams?


view this post on Zulip Emilio Jesús Gallego Arias (Jun 02 2020 at 12:00):

Hi all, this was likely discussed but I missed if a decision was taken.

I understand it is OK to create streams in this Zulip for miscellaneous Coq libs, is that correct?

view this post on Zulip Cyril Cohen (Jun 02 2020 at 12:21):

Emilio Jesús Gallego Arias said:

Hi all, this was likely discussed but I missed if a decision was taken.

I understand it is OK to create streams in this Zulip for miscellaneous Coq libs, is that correct?

Yes, as long as they are open source.


Last updated: Mar 28 2024 at 10:01 UTC