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: Feb 04 2023 at 02:03 UTC