issues
search
gmalecha
/
mirror-core
A framework for extensible, reflective decision procedures.
Other
19
stars
5
forks
source link
Respect COQBIN when calling coq_makefile
#89
Closed
JasonGross
closed
8 years ago
gmalecha
commented
8 years ago
Thanks.
Thanks.