Leaderboard · Isabelle

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jashank Jeremy 1 hr 37 mins 16 mins Org-mode, TeX, Isabelle, reStructuredText, Rust, Assembly, Git, C, Text, …