Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 44 mins 6 mins Rust, TeX, Text, Coq, Markdown, OCaml, Makefile, JSON, BibTeX, …
2 Jason Gross 11 mins 1 min Markdown, Bash, HTML, Python, Coq, JSON, Image (svg), CSS, JavaScript 🇺🇸