Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
4 hrs 42 mins | 40 mins | Coq, Nix, Rust, C++, Python, YAML, Typst, Bash, Makefile, … | 🇨🇳 | |
2 |
|
48 mins | 6 mins | Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … | 🇺🇸 | |
3 |
|
15 mins | 2 mins | Markdown, C++, JSON, TeX, C, Coq, CMake, Rust, Text, … |