| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
11 hrs 19 mins | 1 hr 37 mins | Coq, Python, OCaml, Markdown, Docker, Bash, HTML, Text, JSON, … | 🇺🇸 | |
| 2 |
 Francisco Santos
|
2 hrs 17 mins | 22 mins | OCaml, Coq, C#, TypeScript, SQL, lisp, Reason, HTML, gitignore, … | 🇵🇹 | |
| 3 |
 Anonymous User
|
1 hr 43 mins | 20 mins | Coq, Rust, Makefile, C | ||
| 4 |
 Armand Jordaan
|
6 mins | 1 min | Markdown, C#, Assembly, SQL, JSON, GDScript3, Coq, Ezhil, gitignore, … | 🇿🇦 |
