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.2.tar.gz
md5=1df90607ac535f3e2ffe008e3561333b
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