WakaTime

Leaderboards · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 18 hrs 17 mins 4 hrs 34 mins Coq, Python, Makefile, TeX, Git Config, YAML, Text, Bash
2 Litao Zhou 17 hrs 57 mins 2 hrs 33 mins Coq, Python, Markdown, TeX, YAML, C, Makefile, C++
3 Yishuai Li 10 hrs 1 min 1 hr 25 mins Coq, Git, YAML, Markdown, Docker hireable