| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
9 hrs 16 mins | 1 hr 19 mins | Coq, Markdown, Nix, MATLAB, TOML, Rust, Python, Lua, C++, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
5 hrs 43 mins | 49 mins | Coq, C++, OCaml, CSV, Python, C, JSON, TeX, Text, … | ||
| 3 |
 Jason Gross
|
2 hrs 29 mins | 21 mins | TypeScript, Lean, Coq, Python, JavaScript, Markdown, JSON, TOML, TeX, … | 🇺🇸 |
