Verileansparkle

A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
Sort by
  1. Git dependency.
    Found on Reservoir.

    LSpecdc09042

    A Testing Framework for Lean
  2. Git dependency.
    Found on Reservoir.

    doc-gen4437bd7d

    Document Generator for Lean 4