Emilio Jesús Gallego Arias (Jun 02 2020 at 12:00): 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?
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: Jun 03 2023 at 15:31 UTC