| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
18 hrs 43 mins | 2 hrs 40 mins | Coq, Python, Text, Bash, Makefile, Diff, YAML, Markdown, JSON, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
16 hrs 9 mins | 2 hrs 18 mins | Coq, Markdown, Rust, Text, C, TOML | ||
| 3 |
 Yichen Xu
|
27 mins | 3 mins | TeX, Lean, Git, Scala, Org, BibTeX, Markdown, Coq, Makefile, … | 🇨🇭 |
