Stream: Coq users

Topic: Coq repos without a license


view this post on Zulip Karl Palmskog (Jan 06 2022 at 06:02):

Here we get some data on a pervasive problem in the Coq and ITP community: people often don't even provide a license for their code, making reuse of code problematic: https://twitter.com/intoverflow/status/1478505174172041216

There’s a bunch of neat gems in this data For example: did you know that, by most metrics on GitHub, Coq’s nearest neighbor is Ada? Or that most FM projects on GitHub don’t specify a license? https://twitter.com/intoverflow/status/1478505174172041216/photo/1

- Tim Carstens (@intoverflow)

So if you read this and have a GitHub Coq repo without a license, please pick one and put it in LICENSE, preferably a license from here.

view this post on Zulip Karl Palmskog (Jan 06 2022 at 06:05):

one side note is that "Unknown" in the graph unfortunately includes repos licensed under CECILL-C and CECILL-B


Last updated: Feb 01 2023 at 11:04 UTC