Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 25 mins 3 mins Python, TeX, YAML, Makefile, Coq, CSV, Git Config, Text 🇺🇸
2 Yishuai Li 0 secs 0 secs Go, YAML, Makefile, Coq hireable 🇺🇸