Leaderboard · Lean · Brazil

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Sergio Gomes 1 hr 4 mins 21 mins Lean, OCaml 🇧🇷
2 @bronen 39 mins 5 mins Rust, Clojure, Lean, TOML, JSON, Nix, Markdown, JavaScript, netrw, … 🇧🇷