Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 2 hrs 22 mins 20 mins TeX, Coq, C++, Rust, Python, Markdown, CSV, Text, JSON, …
2 Francisco Santos 4 mins 0 secs Rust, Nix, Java, Lua, Org, Coq, TOML, Markdown hireable 🇵🇹