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.

    LSpec3e23a4a

    A Testing Framework for Lean