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?
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