Stream: Coq users

Topic: Minimze bugs without github comment?

view this post on Zulip Shea Levy (Oct 23 2020 at 17:37):

Is there a way to get at the minimizer without using the github comment interface? That's pretty convoluted :grimacing:

view this post on Zulip Li-yao (Oct 23 2020 at 17:43):

What minimizer

view this post on Zulip Karl Palmskog (Oct 23 2020 at 17:45):

https://github.com/JasonGross/coq-tools

Last updated: Apr 20 2024 at 12:02 UTC