Leaderboard · Isabelle

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @NeiQ 13 hrs 37 mins 1 hr 56 mins Isabelle, Python, Nix, HTML, TeX, C, conf 🇩🇪
2 Xiaokun Luan 6 mins 1 min Python, TeX, C, OCaml, Isabelle, BibTeX, Scala, JSON, Pawn, … hireable 🇨🇳