| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
8 hrs 38 mins | 1 hr 14 mins | Coq, C++, Text, C, JSON, Markdown, Makefile, Rust, TeX, … | ||
| 2 |
 @definfo
|
2 hrs 2 mins | 17 mins | Nix, C++, Markdown, Coq, YAML, C/C++, C/C, Rust, TOML, … | 🇨🇳 | |
| 3 |
 Jason Gross
|
1 hr 59 mins | 17 mins | Coq, Python, OCaml, Bash, TeX, JSON, Markdown, Docker, YAML, … | 🇺🇸 |
