| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
0 secs | 0 secs | TeX, LaTeX source file, Makefile, V, Markdown, Text, Dafny, XML, C, … | ||
| 2 |
 Anonymous User
|
0 secs | 0 secs | TeX, LaTeX source file, YAML, Markdown, Python, TypeScript, XML, Text, HTML, … |
