Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 30 hrs 26 mins 4 hrs 21 mins Coq, Python, Text, YAML, Bash, JSON, TOML, Markdown, Git Config, … 🇺🇸
2 Anonymous User 1 hr 33 mins 18 mins Rust, Coq, Text, OCaml, Nix, Markdown, Makefile, Bash, TOML