GitHub repository: JasonGross/run-coq-bug-minimizer
Primary language: Shell
Created: 2020-05-01T19:32:47Z
Description: A repo for running the minimizer on GH Actions