/coq-bug-minimizer-paper

A paper about the bug minimizer of https://github.com/JasonGross/coq-tools , https://github.com/coq-community/run-coq-bug-minimizer

Primary LanguageJupyter Notebook

Stargazers

No one’s star this repository yet.