Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @NotFish 18 mins 2 mins Python, TeX, C, Rust, Bash, Text, SMT, JavaScript, Git Config, … hireable 🇺🇸
2 VTrelat 1 min 0 secs Lean4, HTML, TeX, CSS, JSON, TOML, Bash, SMT, JavaScript 🇩🇪