search

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

adapt to coq/coq#18730 #38

Closed andres-erbsen closed 8 months ago

andres-erbsen commented 8 months ago

please fast-forward for https://github.com/mit-plv/bedrock2/pull/404