Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 3 hrs 34 mins 30 mins Python, Bash, Coq, JSON, TOML 🇺🇸
2 Anonymous User 2 hrs 56 mins 25 mins Rust, Coq, Markdown, OCaml, Makefile, Text, TOML, C, JSON, …