China Isabelle Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Xiaokun Luan	23 mins	3 mins	Python, TeX, Markdown, Scala, JSON, OCaml, Isabelle, Bash, GitIgnore file, …	hireable	🇨🇳