| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
1 hr 27 mins | 12 mins | TeX, LaTeX source file, Makefile, Text, Dafny, BibTeX bibliography file, BibTeX, YAML, Markdown, … | ||
| 2 |
 FormulaRossa
|
0 secs | 0 secs | TeX, LaTeX source file, Text, YAML, textmate, XML, BibTeX, PDF, BibTeX bibliography file | 🇨🇭 |
