[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: COQ 8.0



Thank you very much for you help.

 Do you also think that a copyright is needed for .v files?

I tend to think that .v files could be considered as source code (because of Exctraction, Eval compute, etc) and thus all non-trivial .v files should be copyrighted. I might be wrong though.

Cheers,

Samuel.



Reply to: