[Cli]
update command for proof
## Pre-alpha commands
`cargo run new {name_of_project}` -> New project
-`cargo run prove {name_of_proof} Vec<proof_values>` -> Create Proof
+
+`cargo run prove {name_of_proof} -> Create Proof
+
`cargo run verify {name_of_proof}` -> Verify a Proof
+
`cargo run build` -> Build a constraint system
\ No newline at end of file
