Is there a way to get at the minimizer without using the github comment interface? That's pretty convoluted :grimacing:
What minimizer
https://github.com/JasonGross/coq-tools
Last updated: Oct 13 2024 at 01:02 UTC