| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
14 hrs 56 mins | 2 hrs 8 mins | Coq, Makefile, TeX | ||
| 2 |
 Jason Gross
|
19 mins | 2 mins | Figma Design, TeX, Python, Makefile, Coq, Git Config, BibTeX, Markdown, YAML, … | 🇺🇸 |
