platform
platform copied to clipboard
coq
Add coq-tools / coq-bug-minimizer to the platform?
Does it make sense to add some version of the bug minimizer to the platform? It's a collection of Python scripts (currently in the process of setting up a pip package) but I'm happy to set up some sort of standalone binary distribution if that'd be better for the platform. (I don't think it makes sense to distribute on opam, though I'd be down to create an opam package that just builds the binary and installs it or something, depending on conf-python-3.7)
Now on PyPi (the documentation needs some work though). And the CI builds standalone executables for Mac, Linux, and Windows across a variety of Python versions, which I can get the CI to add to releases or something if desired.
Let me know what needs to be done.