Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
8 hrs 19 mins | 1 hr 11 mins | Coq, Markdown, Python, GDScript3, TeX, BibTeX, Text | 🇨🇳 | |
2 |
|
7 hrs 31 mins | 1 hr 4 mins | Python, Coq, GDScript3, Markdown, Prolog, TeX, Makefile, Agda, Bash, … | 🇺🇸 | |
3 |
|
6 hrs 10 mins | 52 mins | Rust, Coq, TeX, BibTeX, OCaml, Text, GDScript3, Assembly, Markdown, … | ||
4 |
|
5 hrs 20 mins | 53 mins | Zed, Coq, Python, GDScript3, Ezhil | 🇷🇺 |