Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 6 mins 0 secs Lean4, SMT, C 🇩🇪
2 Seddon Shen 0 secs 0 secs sh, Markdown, JSON, Slurm, Scala, Text, C++, Git Config, SMT, … 🇨🇳