| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
10 hrs 7 mins | 1 hr 26 mins | Python, Coq, Markdown, Bash, Image (svg), YAML, JavaScript, Lean, Git Config, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
7 hrs 4 mins | 1 hr | Text, Coq, C, Markdown, Makefile, C++, Rust, INI, OCaml, … |
