Add boolean list equality decider

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Closed jadephilipoom closed 3 years ago

jadephilipoom commented 3 years ago

I found myself wanting this, and it seems like the kind of thing someone else might want someday!

samuelgruetter commented 3 years ago

I also just bumped the coqutil dependency on bedrock2 master so that it's ready to use in Silveroak!