Leaderboard · Coq

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 1 hr 29 mins 12 mins TeX, TypeScript, Markdown, Nix, Coq, C, Docker, YAML, Bash, … 🇨🇳
Last modified 2026-05-17T01:04:09Z