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: Jan 28 2023 at 06:30 UTC