GitHub repository: mit-plv/kami
Primary language: Rocq Prover
Created: 2017-05-15T17:28:49Z
Description: A Platform for High-Level Parametric Hardware Specification and its Modular Verification