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 →