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.0.tar.gz
md5=5d66474c9d71dbc46b44c786fb6fef00
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