Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
10 hrs 7 mins | 1 hr 26 mins | Python, Coq, Markdown, Bash, Image (svg), YAML, JavaScript, Lean, Git Config, … | 🇺🇸 | |
2 |
|
7 hrs 4 mins | 1 hr | Text, Coq, C, Markdown, Makefile, C++, Rust, INI, OCaml, … |