minimize-requires.py

github.comsite

Removes loading of unused dependencies.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   inline-imports.py github.com

   Creates stand-alone source files from developments by inlining the loading of all dependencies.

   site link ↗
   site
2. ▲

   move-requires.py github.com

   Moves all dependency loading statements to the top of source files.

   site link ↗
   site
3. ▲

   find-bug.py github.com

   Automatically minimizes source files producing an error, creating small test cases for Coq bugs.

   site link ↗
   site
4. ▲

   minimization github.com

   tool link ↗
   
5. ▲

   absolutize-imports.py github.com

   Processes source files to make loading of dependencies robust against shadowing of file names.

   site link ↗
   site
6. ▲

   jupyter-nbrequirements github.com

   Dependency management and optimization in Jupyter Notebooks.

   tool link ↗
   tool

Coq › Projects > Tools: “Removes loading of unused dependencies.”