プロジェクトのmain関数によって使用されていない名前を見つける

[Seasawher]

どうやるんだっけ？（方法があったはず）

[Seasawher]

ImportGraph defines docs#Lean.Name.transitivelyUsedConstants, so I would take all the constants (in a specific set of modules) and subtract the transitively used constants of main.