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

Add `--coqlib`, `--passing-coqlib`

Open JasonGross opened this issue 11 months ago • 0 comments

In preparation for threading them through more explicitly.

JasonGross avatar Jan 26 '25 03:01 JasonGross