Adjust example for #223 for partial base_dir handling

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

Open JasonGross opened 2 months ago