United States Isabelle Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Ritsuka	16 hrs 6 mins	2 hrs 18 mins	Isabelle, TeX, TXL, Python, XML, Java, C, BibTeX, Bash, …	hireable	🇺🇸