Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 20 hrs 32 mins 2 hrs 56 mins Coq, Rust, OCaml, Makefile, Markdown, Assembly, C, Linker Script, TeX, …
2 Jason Gross 3 hrs 50 mins 32 mins Python, Coq, HTML, Markdown, CSS, Docker, Text, JSON, Batchfile, … 🇺🇸