package coq-min-imports
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
This script will try to remove unnecessary module imports from Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.1.tar.gz
md5=3ffca724f7e8752ce4f1909b360914ab
Description
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.
On This Page