search

mit-plv / coqutil

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

short word lemmas #84

Closed 0adb closed 1 year ago

0adb commented 1 year ago

Added some lemmas about word ops that don't go through using just ring.

samuelgruetter commented 1 year ago

Looks good, thanks!