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 AI Lines AI Lines Top AI Model Model Languages Used
1 VTrelat 1,807 GPT (1,807) TeX, Lean4, Python, Markdown, B (Formal Method) 🇩🇪
Last modified 7 hours ago at 2026-10-27T09:20:21Z