Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Mike He 3 mins 0 secs Python, Lean4, ANTLR, BNF, TOML, Text, Markdown, Bash, SMT, … hireable
2 Seddon Shen 1 min 0 secs Python, Bash, CSV, Text, SMT, Git Config, JSON, sh 🇨🇳