coq/bot

Minimizer should handle more kinds of shell blocks

JasonGross opened this issue · 0 comments