search

FissoreD / coq-elpi

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

Coq elpi eta contr rebase #15

Closed FissoreD closed 3 weeks ago