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

the minimizer should support --coqlib and --passing-coqlib explicitly, and thread through these arguments

Open JasonGross opened this issue 11 months ago • 1 comments

To work around things like https://github.com/coq/coq/issues/20129 and https://github.com/coq/coq/issues/20128 and https://github.com/coq/coq/pull/20101#issuecomment-2611988918

JasonGross avatar Jan 25 '25 00:01 JasonGross

Partial work in https://github.com/JasonGross/coq-tools/tree/coqlib-args

JasonGross avatar Jan 25 '25 02:01 JasonGross