Stream: Equations devs & users

Topic: ✔ Licensing issues

view this post on Zulip Karl Palmskog (Sep 16 2022 at 08:50):

Any chance for a review and/or merge of https://github.com/mattam82/Coq-Equations/pull/510 ?

I think we would all feel better about these licensing questions getting sorted

view this post on Zulip Notification Bot (Sep 20 2022 at 10:14):

Karl Palmskog has marked this topic as resolved.

Last updated: Apr 18 2024 at 13:01 UTC