Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 11 hrs 23 mins 2 hrs 16 mins Coq, Agda, Bash 🇺🇸
2 Anonymous User 1 hr 4 mins 32 mins Coq, Python, C
3 Litao Zhou 16 mins 5 mins Abella, Makefile, Coq, OCaml, C, Text 🇨🇳