Remove Python 3.5 from CI

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

Closed JasonGross closed 3 months ago