Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Mehrad Haghshenas 4 mins 1 min Rust, Java, Python, Markdown, SMT, XML, Bash 🇳🇱
2 VTrelat 2 mins 0 secs Lean4, JSON, TeX, sh, SMT, JavaScript, CSS, Markdown 🇩🇪