chore: add final_proof_name input to cli prove command#188
Merged
antonbaliasnikov merged 1 commit intomainfrom Jan 23, 2026
Merged
chore: add final_proof_name input to cli prove command#188antonbaliasnikov merged 1 commit intomainfrom
antonbaliasnikov merged 1 commit intomainfrom
