Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
examples/RISCV		examples/RISCV
src		src
.gitignore		.gitignore
Help.md		Help.md
README.md		README.md
Why.md		Why.md
comparison.md		comparison.md

Repository files navigation

HDLean

Hardware description in Lean.

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

No releases published