/kami

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

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.