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 Markdown, TeX, Python, Lean4, BibTeX, YAML, TOML, B (Formal Method) 🇩🇪
Last modified 57 minutes ago at 2026-09-10T08:18:47Z