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.

    LSpec1e6da63

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

    doc-gen4cc1a619

    Document Generator for Lean 4