Stream: Coq Platform devs & users

Topic: ✔ Relation Algebra licensing

view this post on Zulip Karl Palmskog (Sep 08 2022 at 19:05):

looks resolved now in the issue and through

view this post on Zulip Notification Bot (Sep 08 2022 at 19:05):

Karl Palmskog has marked this topic as resolved.

Last updated: Jan 30 2023 at 11:03 UTC