inline-imports.py
Creates stand-alone source files from developments by inlining the loading of all dependencies.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
similar
-
absolutize-imports.py github.com
Processes source files to make loading of dependencies robust against shadowing of file names.
-
minimize-requires.py github.com
Removes loading of unused dependencies.
-
move-requires.py github.com
Moves all dependency loading statements to the top of source files.
-
ExtLib github.com
Collection of theories and plugins that may be useful in other Coq developments.
-
coq-tools github.com
Scripts for manipulating Coq developments.
-
dyn github.com
Coq › Projects > Tools: “Creates stand-alone source files from developments by inlining the loading of all dependencies.”