search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
41 stars 24 forks source link

AUTHORS and LICENSE files #12

Closed JasonGross closed 5 years ago

JasonGross commented 5 years ago

Please add an AUTHORS file and a LICENSE file; I cannot create an opam package if I don't know which authors to list and what license to use.

andres-erbsen commented 5 years ago

13