search

JasonGross / coq-tools

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

[CI] use venv to avoid errors #212

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

venv is working, need to fix example 56