Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
18 hrs 43 mins | 2 hrs 40 mins | Coq, Python, Text, Bash, Makefile, Diff, YAML, Markdown, JSON, … | 🇺🇸 | |
2 |
|
16 hrs 9 mins | 2 hrs 18 mins | Coq, Markdown, Rust, Text, C, TOML | ||
3 |
|
27 mins | 3 mins | TeX, Lean, Git, Scala, Org, BibTeX, Markdown, Coq, Makefile, … | 🇨🇭 |