search

LPCIC / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
139 stars 51 forks source link

Adapt to coq/coq#19709 (libobject requires explicit classification) #702

Closed SkySkimmer closed 1 month ago

ppedrot commented 1 month ago

This is backwards compatible, you could merge it already @gares