coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard
verified publisher icon JasonGross

Minimizer: try to replace `Proof term.` with `Admitted.`

Open SkySkimmer opened this issue 2 years ago • 1 comments

as in

Lemma foo : nat.
Proof 0.

SkySkimmer avatar Apr 18 '23 11:04 SkySkimmer

(Proof term appeared in https://github.com/coq/coq/pull/17466#issuecomment-1512133545)

SkySkimmer avatar Apr 18 '23 11:04 SkySkimmer