Leaderboard · B (Formal Method) · Germany

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 1 min 0 secs TeX, Lean4, Markdown, Python, B (Formal Method) 🇩🇪
Last modified 7 hours ago at 2026-10-26T16:17:21Z