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