search

mit-plv / coqutil

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

add AUTHORS, CONTRIBUTORS, and LICENSE #13

Closed samuelgruetter closed 5 years ago

samuelgruetter commented 5 years ago

@andres-erbsen @JasonGross does that look right?