Warning for missing "Proof" command and error on duplicate or late "Proof"#21865

SkySkimmer wants to merge 2 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:warn-missing-proofSkySkimmer/rocq:warn-missing-proofCopy head branch name to clipboard