| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
10 hrs 7 mins | 1 hr 26 mins | Coq, Python, Markdown, TypeScript, Lean, Bash, JavaScript, CSS, YAML, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
6 hrs 23 mins | 54 mins | Markdown, Coq, C, Makefile, Rust, INI, OCaml, ca65 assembler, TeX, … |
