JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
39 stars 9 forks source link

Add `--inline-stdlib` alias of `--inline-coqlib` #208

Closed JasonGross closed 4 months ago

JasonGross commented 4 months ago

Minor addition for coq/coq#19310