Mathlib Changelog
v4
Changelog
About
Github
Def
countLOC
Modification history
2026-01-30 13:30
LongestPole/Main.lean
chore: remove LongestPole (#34354) …
Deleted
countLOC
View on Github →
2024-10-24 09:37
LongestPole/Main.lean
feat: LoC mode for `lake exe pole` (#18157) …
Added
countLOC
View on Github →