Hardware Description in Lean (Like CLASH but with logically sound dependent types)
Hardware description in Lean.
