| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
10 hrs 52 mins | 1 hr 33 mins | Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … | 🇺🇸 | |
| 2 |
 @definfo
|
5 hrs 28 mins | 46 mins | Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … | 🇨🇳 | |
| 3 |
 Anonymous User
|
5 hrs 4 mins | 43 mins | C++, Coq, CSV, Markdown, Python, OCaml, C, JSON, Text, … | ||
| 4 |
 Jelly Terra
|
12 mins | 4 mins | Rust, YAML, Bluespec, Markdown, Coq | 🇨🇳 |
