In Eclipse I can press Ctrl+Shift+O to organize the imported Java packages automatically. Is it worth having a similar feature for Coq developers?
Motivation: Less import dependency allows more parallelism in compilation.
I think Jason's scripts already do dependency minimization? https://github.com/JasonGross/coq-tools
a more efficient way to optimize the file-level dep graph is probably by using coq-dpdgraph: https://github.com/karmaki/coq-dpdgraph
Last updated: Sep 26 2023 at 11:01 UTC