Leaderboard · Coq · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 1 hr 51 mins 15 mins Lean, Scala, Git, Coq, Markdown, Org, TeX, Emacs Lisp, YAML, … 🇨🇭