| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
1 hr 53 mins | 16 mins | TeX, Rust, C, Markdown, Coq, CSV, C++, Objective-C, Git Config, … | ||
| 2 |
 Jason Gross
|
28 mins | 4 mins | TeX, Python, Coq, Text, Image (svg), TOML, YAML, BibTeX, Markdown, … | 🇺🇸 |
