[kami-rv32im] Use COQPATH for the dependencies

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

https://plv.csail.mit.edu/kami/

MIT License

142 stars 24 forks source link

Closed JasonGross closed 5 years ago