← #genscripts
Theorem
20 lines · last seen Sep 30, 2026
Lines
20
Words
129
Words / line
6.5
Chars / line
31.6
Most active times
0-5h
6-11h
12-17h
18-23h
"that's a lot of hours"
Year to date
Trailing 12 months
2024
2025
All time
From
To
Apply