Leaderboard · B (Formal Method) · Germany

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 0 secs 0 secs TeX, Lean4, SMT, Markdown, Git Config, Bash, BibTeX, OpenEdge ABL, B (Formal Method), … 🇩🇪
Last modified 2026-05-06T16:50:25Z