Mathlib Changelog
v4
Changelog
About
Github
Def
testModulesForbiddenWindows
Modification history
2025-09-15 10:13
MathlibTest/ForbiddenWindows.lean
feat: verify that file names contain no forbidden characters (#27965) …
Deleted
testModulesForbiddenWindows
View on Github →
2025-07-29 02:51
MathlibTest/ForbiddenWindows.lean
feat(Linter/TextBased): linter against Windows-forbidden filenames (#27588) …
Added
testModulesForbiddenWindows
View on Github →