Skip to content
@verilog-proof

verilog-proof

Popular repositories Loading

  1. VerilLean VerilLean Public

    A Lean-embedded framework to verify Verilog modules

    Lean 15 4

  2. VerilRocq VerilRocq Public

    A Rocq-embedded framework to verify Verilog modules

    Rocq Prover 9 2

Repositories

Showing 2 of 2 repositories
  • VerilRocq Public

    A Rocq-embedded framework to verify Verilog modules

    verilog-proof/VerilRocq's past year of commit activity
    Rocq Prover 9 MIT 2 1 0 Updated Oct 1, 2026
  • VerilLean Public

    A Lean-embedded framework to verify Verilog modules

    verilog-proof/VerilLean's past year of commit activity
    Lean 15 4 0 0 Updated Oct 1, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…