Coq OPAMcoq-min-imports
This script will try to remove unnecessary module imports from Coq sources. It examines modules listed in "Require Import" statements one by one and tries to recompile to see if their removal would cause compilation errors.
opam install coq-min-imports.1.0.2
- homepage
- https://github.com/vzaliva/coq-min-imports
- license
- MIT
- bugs tracker
- https://github.com/vzaliva/coq-min-imports/issues
- dependencies
- coq >= 8.5 & extlib & batteries & jbuilder
- source
- https://github.com/vzaliva/coq-min-imports/archive/v1.0.2.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-min-imports/coq-min-imports.1.0.2