Zulip Chat Archive

Stream: general

Topic: copyleft


view this post on Zulip Kenny Lau (Aug 04 2020 at 06:36):

I notice that in @**Johan Commelin**'s sset branch, every newly created file has a copyleft notice on the top:

/-
Copyleft 2020 Johan Commelin. No rights reserved.
Authors: Johan Commelin
-/

However, I could not find any copyleft notice in mathlib. What do people think about copyleft?

view this post on Zulip Scott Morrison (Aug 04 2020 at 06:42):

I think we decided to stick with the current copyright notice.

view this post on Zulip Scott Morrison (Aug 04 2020 at 06:43):

No one particularly objected to copyleft, and indeed it seems everyone was very happy with an even more permissive licence than what we have now.

view this post on Zulip Scott Morrison (Aug 04 2020 at 06:43):

But uniformity is its own virtue.

view this post on Zulip Bryan Gin-ge Chen (Aug 04 2020 at 06:43):

Some recent discussion here: https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.233223.20homogeneous/near/205261936

view this post on Zulip Yury G. Kudryashov (Aug 04 2020 at 08:19):

E.g., with the same license on all files we can move code around more easily. Though I'm still not sure whether we should add (c) Microsoft to a file when we move a lemma from a file that is used to be in core to another file.

view this post on Zulip Chris Wong (Aug 04 2020 at 12:02):

I'm not a lawyer, but I'm pretty sure "copyleft" means "using copyright as a means to subvert itself", a la GPL. Not the "public domain" that "no rights reserved" would imply

view this post on Zulip Chris Wong (Aug 04 2020 at 12:08):

I'm also wary of being "clever" with licensing. e.g. some companies ban WTFPL, despite it being free in principle, as the wording is too vague. So it's safer to stick to standards here

view this post on Zulip Mario Carneiro (Aug 04 2020 at 12:13):

That's why I prefer multiply-licensed CC0 / WTFPL / PD. I offer all these options, and the user is allowed to pick whichever license they prefer. The result is that you get the max of all three permissions, and companies that are worried about WTFPL can receive it under a different license

view this post on Zulip Yury G. Kudryashov (Aug 04 2020 at 16:01):

We can't relicense MS code anyway...


Last updated: May 14 2021 at 12:18 UTC