search

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

Hopeful compatibility with coq/coq#19599 #239

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

Less blind editing for https://github.com/coq/coq/pull/19599#issuecomment-2422221331