Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 7 hrs 3 mins 1 hr Python, Markdown, Coq, TypeScript, JavaScript, Lean, Bash, CSS, HTML, … 🇺🇸
2 Anonymous User 4 hrs 42 mins 40 mins Markdown, Text, Coq, C, Makefile, Rust, INI, TeX, OCaml, …