search

tezos / tezoscoq

working with coq and tezos
28 stars 9 forks source link

Missing LICENSE #4

Open jeromesimeon opened 6 years ago

jeromesimeon commented 6 years ago

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?

murbard commented 6 years ago

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