Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 10 hrs 13 mins 1 hr 27 mins Python, Coq, Bash, Markdown, Image (svg), YAML, HTML, Lean, Git Config, … 🇺🇸
2 Anonymous User 3 hrs 42 mins 31 mins TeX, Text, Coq, C, Markdown, Makefile, C++, Rust, INI, …