search

mit-plv / coqutil

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

add additional flatmap/filter/map lemmas to utils #117

Closed teshome-p closed 5 months ago

samuelgruetter commented 5 months ago

Thank you!