Pinned Loading

1. verilog-proof/VerilLean verilog-proof/VerilLean Public

   A Lean-embedded framework to verify Verilog modules

   Lean 15 3

2. verilog-proof/VerilRocq verilog-proof/VerilRocq Public

   A Rocq-embedded framework to verify Verilog modules

   Rocq Prover 7 2

3. mit-plv/hemiola mit-plv/hemiola Public

   A Coq framework to support structural design and proof of hardware cache-coherence protocols

   Coq 14 3