| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
1 hr 21 mins | 11 mins | TeX, Text, Coq, BibTeX, Markdown, C++, CSV, Bash, CMake, … | ||
| 2 |
 Yishuai Li
|
9 mins | 9 mins | OCaml, YAML, Makefile, Coq, gitrebase, Git, gitignore, conf | hireable | 🇺🇸 |
| 3 |
 Jason Gross
|
0 secs | 0 secs | Python, HTML, CSV, JSON, YAML, Bash, Lean, TOML, Coq, … | 🇺🇸 |
