Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 52 mins 13 mins Markdown, Python, Dafny, Text 🇨🇦
2 Matteo Pesenti 42 mins 8 mins Python, Markdown, TeX, Dafny, Bash, Text, Git Config, C, XML, … 🇺🇸