Skip to content

Files

Latest commit

2c1ac01 · Feb 9, 2024

History

History
executable file
·
51 lines (41 loc) · 1.02 KB

run-prover.sh

File metadata and controls

executable file
·
51 lines (41 loc) · 1.02 KB