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

Thread through base_dir in more places #225

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

Partial work towards #223