3 ms·CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification2 points by Jimmc414 3mo ago