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

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Yishuai Li	32 mins	10 mins	Go, Coq, Makefile, OCaml, YAML, gitignore	hireable	🇺🇸
2	Jason Gross	1 min	0 secs	TeX, YAML, Python, Bash, Makefile, BibTeX, Markdown, CSV, Coq, …		🇺🇸