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.
one side note is that "Unknown" in the graph unfortunately includes repos licensed under CECILL-C and CECILL-B
Last updated: Sep 23 2023 at 13:01 UTC