-
Notifications
You must be signed in to change notification settings - Fork 1
Licensing for the Mizar Mathematical Library
License
JUrban/MMLLicense
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Contents:
FLA.ccasa.en.tex ..... The original FSFE Fiduciary License Agreement (FLA) - tex
FLA.ccasa.en.pdf ..... The original FSFE Fiduciary License Agreement (FLA) - pdf
FLA.ccasa.en.xhtml ..... The original FSFE Fiduciary License Agreement (FLA) - xhtml
produced by latexml for easy online reading
Mizar_FLA.* ..... The FSFE Fiduciary License Agreement modified for Mizar (AMU)
Comments:
JU: I now think there should be two versions of the AMU FLA: one
allowing only free open source relicensing, and another one
allowing also parallel commercial relicensing. I think it might be
good to allow AMU to provide commercial licensing in special and
important cases, however I also think that some authors might not
agree with me. It would be bad to lose such authors for the (very
likely needed in the future) changes of the free licensing. Note
that for example Arxiv also allows the authors to select between
several licenses when submitting. We would allow them to choose
between two FLAs. Practically, we will now dual-license under GPL
and CC-BY-SA.
About
Licensing for the Mizar Mathematical Library
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published