Def getAllModules

Modification history

2024-06-17 20:45
Mathlib/Util/GetAllModules.lean
fix(GetAllModules): sort module names instead of file names (#13854) …
Deleted getAllModulesView on Github →
2024-06-01 12:47
Mathlib/Util/GetAllModules.lean
refactor: tweak and move functionality for getting all modules out of `scripts` (#13339) …
Added getAllModulesView on Github →