Mathlib Changelog
v4
Changelog
About
Github
Def
testModulesOSForbidden
Modification history
2025-12-05 11:03
MathlibTest/ForbiddenModuleNames.lean
chore(Tactic/Linters): remove `public section` (#31803) …
Deleted
testModulesOSForbidden
View on Github →
2025-09-15 10:13
MathlibTest/ForbiddenModuleNames.lean
feat: verify that file names contain no forbidden characters (#27965) …
Added
testModulesOSForbidden
View on Github →