tezoscoq icon indicating copy to clipboard operation
tezoscoq copied to clipboard

Published 20 hours ago • verified publisher icon tezos

Missing LICENSE

Open jeromesimeon opened this issue 6 years ago • 1 comments

There is no license information on this repository or in any the source code files. Is it meant to be published eventually with the same license as Tezos itself?

jeromesimeon avatar Apr 20 '18 12:04 jeromesimeon

I think the coq repo could be released under a FOSS right now, but I need to contact the authors

murbard avatar Apr 22 '18 08:04 murbard