Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
MJ Ray a écrit :
> RFC from debian-legal regarding the license:-
I would add that ssreflect is a plugin that is meant to be linked
(dynamically) to Coq (Coq being the main program), which is LGPL-2.1. I
haven't yet studied in much details any license-related incompatibilites
that might occur, but CeCILL-B is advertised by its authors as BSD-like,
less restrictive than CeCILL.
Thanks for your comments,
--
Stéphane
Reply to: