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: Jun 17 2024 at 22:01 UTC