Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 28 hrs 27 mins 5 hrs 41 mins Coq, C++, Python, Text, CSV, Git Config, Java, Markdown, Bash, …
2 Jason Gross 16 hrs 2 hrs 40 mins Coq, Makefile, YAML, Bash, C, Git Config 🇺🇸
3 Litao Zhou 13 hrs 1 min 2 hrs 10 mins TeX, Coq, Python, Text, Makefile, C++, Markdown, BibTeX, OpenEdge ABL 🇨🇳
4 minus21 5 hrs 59 mins 51 mins Rust, Coq, LLVM, Text, Markdown, Bash, Git Config, HTML, C, … 🇰🇷
5 Yishuai Li 7 mins 1 min TeX, Bash, Markdown, Coq, Makefile, BibTeX, Git, OCaml hireable 🇺🇸