| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
3 hrs 18 mins | 28 mins | Coq, Rust, TeX, BibTeX | ||
| 2 |
 Francisco Santos
|
2 hrs 43 mins | 32 mins | OCaml, Coq, lisp, HTML, SQL, Reason, Nix, zsh, Markdown, … | 🇵🇹 | |
| 3 |
 Jason Gross
|
1 hr 4 mins | 9 mins | Markdown, TeX, Text, OCaml, Makefile, Coq, Python, JavaScript, Batchfile, … | 🇺🇸 |
