Show HN: 하드웨어 설계를 위한 재현 가능한 증명 기반의 결정론적 오라클

Show HN: deterministic oracle for hardware designs with replayable proofs