Adapt w.r.t. coq/coq#16904.

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 ppedrot closed 1 year ago