Leaderboard · Coq

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 1 hr 1 min 10 mins Nix, Markdown, Rust, YAML, TOML, Coq, TypeScript, Bash, JSON, … 🇨🇳
Last modified 2026-06-20T16:46:12Z