Leaderboard · Isabelle · Germany

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 10 mins 1 min Lean4, Markdown, TeX, Isabelle, JavaScript, BibTeX, JSON, Bash, HTML, … 🇩🇪