search

LPCIC / coq-elpi

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

backport from HB #136

Open gares opened 4 years ago

gares commented 4 years ago

print-ctx

gares commented 4 years ago

blocked by https://github.com/LPCIC/elpi/issues/71