search

SkySkimmer / coq-ltac2-compiler

GNU Lesser General Public License v2.1
5 stars 0 forks source link

Adapt to coq/coq#18139 (pr_tacref takes avoid set) #3

Closed SkySkimmer closed 11 months ago

ppedrot commented 11 months ago

Please merge now.