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 AI Lines AI Lines Top AI Model Model Languages Used
1 VTrelat 7,661 GPT (7,642) Markdown, TeX, Python, Lean4, Makefile, BibTeX, YAML, TOML, B (Formal Method) 🇩🇪
Last modified 5 hours ago at 2026-09-12T09:05:43Z