search

LPCIC / coq-elpi

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

[TC] add failing test #689

Closed FissoreD closed 2 months ago