Leaderboard · SMT

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