Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Litao Zhou 8 hrs 19 mins 1 hr 11 mins Coq, Markdown, Python, GDScript3, TeX, BibTeX, Text 🇨🇳
2 Jason Gross 7 hrs 31 mins 1 hr 4 mins Python, Coq, GDScript3, Markdown, Prolog, TeX, Makefile, Agda, Bash, … 🇺🇸
3 Anonymous User 6 hrs 10 mins 52 mins Rust, Coq, TeX, BibTeX, OCaml, Text, GDScript3, Assembly, Markdown, …
4 Dmitry Beresnev 5 hrs 20 mins 53 mins Zed, Coq, Python, GDScript3, Ezhil 🇷🇺