issues
search
LPCIC
/
coq-elpi
Coq plugin embedding elpi
GNU Lesser General Public License v2.1
139
stars
51
forks
source link
do not rebuild before installing
#653
Closed
gares
closed
4 months ago