| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
3 hrs 34 mins | 30 mins | TeX, Coq, Python, Bash, BibTeX, Text, Image (svg), Makefile, Lean, … | 🇺🇸 | |
| 2 |
 Yishuai Li
|
0 secs | 0 secs | Go, YAML, Docker, Makefile, Git Config, Coq | hireable | 🇺🇸 |
