Stream: coq-community devs & users

Topic: CECILL licenses and (L)GPL compatibility


view this post on Zulip Notification Bot (Sep 23 2020 at 09:57):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > CECILL licenses and (L)GPL compatibility


Last updated: Feb 04 2023 at 01:03 UTC