issues
search
mit-plv
/
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
Other
22
stars
20
forks
source link
Use docker for all Coq versions
#161
Closed
JasonGross
closed
2 weeks ago
JasonGross
commented
2 weeks ago
I don't really want to keep updating the ubuntu packages
I don't really want to keep updating the ubuntu packages