Leaderboard · Coq · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Francisco Santos 4 mins 0 secs Rust, OCaml, Java, Nix, Org, Lua, Coq, TOML, lisp hireable 🇵🇹
2 Yishuai Li 0 secs 0 secs Go, Java, YAML, Docker, Makefile, Coq hireable 🇺🇸