coq-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.0
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 & omake
source
https://github.com/vzaliva/coq-min-imports/archive/v1.0.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-min-imports/coq-min-imports.1.0.0