Leaderboard · B (Formal Method)

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 0 secs 0 secs TeX, Lean4, Python, Markdown, HTML, Git Config, Bash, JSON, JavaScript, … 🇩🇪
Last modified 8 hours ago at 2026-10-10T16:23:24Z