Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 10 hrs 42 mins 1 hr 31 mins Coq, OCaml, TeX, Rust, Text, Makefile, C, Markdown, JSON, …
2 @definfo 7 mins 1 min C++, Nix, HTML, Markdown, Bison Grammar File, JavaScript, C, Coq, YAML, … 🇨🇳