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

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Ritsuka	9 hrs 58 mins	1 hr 39 mins	Isabelle, TeX, Bash, Python, XML, C, Makefile, OpenEdge ABL, OCaml, …	hireable	🇺🇸