Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 3 hrs 25 mins Python, HTML, Bash, Coq, YAML, Lean, Assembly 🇺🇸
2 Anonymous User 1 hr 41 mins 14 mins TeX, Text, Coq, Markdown, BibTeX, C++, CSV, Bash, CMake, …
3 Yichen Xu 4 mins 1 min Lean, Scala, TeX, Org, Git, wat, Coq, Text, Emacs Lisp, … 🇨🇭