PRO
Join the Pro board. Enable your Pro badge to appear in the rankings.
Enable Pro badge

Leaderboard · Coq

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 10 hrs 57 mins 1 hr 49 mins Coq, Nix, Markdown, C, Makefile, Python, Bash, Docker, YAML, … 🇨🇳
Last modified 2026-07-13T01:02:46Z