Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.
Primary LanguagePythonMIT LicenseMIT
No one’s star this repository yet.