search

mit-plv / coqutil

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

Support 8.11 #43

Closed andres-erbsen closed 3 years ago

andres-erbsen commented 3 years ago

on top of #42, cerry-picked from #40 and #38