Fix some missing and incorrect Proof commands#254
Merged
SkySkimmer merged 1 commit intorocq-prover:masterfrom Apr 2, 2026
Merged
Fix some missing and incorrect Proof commands#254SkySkimmer merged 1 commit intorocq-prover:masterfrom
SkySkimmer merged 1 commit intorocq-prover:masterfrom
