search

mit-plv / coqutil

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

Added list update(s) definition and lemmas #36

Closed bdiehs closed 3 years ago