Closed hoheinzollern closed 7 months ago
As per title. Possible valid options are CeCILL-C (same as MathComp-analysis), LGPL, MIT.
See best practices in the Coq manifesto
Good point, I didn't realise it wasn't added - any particular preference?
License added
As per title. Possible valid options are CeCILL-C (same as MathComp-analysis), LGPL, MIT.
See best practices in the Coq manifesto