Leaderboard · SMT

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