search

LPCIC / coq-elpi

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

Overlay for PR 19473 #683

Closed mattam82 closed 2 months ago

mattam82 commented 2 months ago

To merge when coq/coq#19473 lands.