Fix incorrect Proof commands#222

SkySkimmer merged 1 commit intorocq-community:masterrocq-community/corn:masterfrom

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