Leaderboard · SMT

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