Leaderboard · SMT · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @NotFish 1 min 0 secs Python, JSON, C++, Text, SMT, TeX hireable 🇺🇸
2 @Xujiangjing 0 secs 0 secs Isabelle, Python, JSON, Bash, SMT, XML hireable 🇬🇧
Last modified 2025-12-16T17:03:28Z