Leaderboard · Coq · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 hrs 20 mins 20 mins Lean, Scala, TeX, Coq, Git, Markdown, Org, Emacs Lisp, Lean4, … 🇨🇭