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: Sep 23 2023 at 08:01 UTC