Leaderboard · SMT

Hours Coded Manual Coding AI Coding
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 14 mins 2 mins TeX, Lean4, Markdown, Python, Bash, BibTeX, SMT, Image (svg), Text, … 🇩🇪
Last modified 6 hours ago at 2026-08-06T00:59:17Z