JasonGross / 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

This repository is not active

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

Language:Jupyter Notebook 49.6%Language:Coq 38.5%Language:TeX 10.1%Language:Shell 1.4%Language:Makefile 0.4%Language:Python 0.1%Language:Nix 0.0%