Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
1 hr 21 mins | 11 mins | TeX, Text, Coq, BibTeX, Markdown, C++, CSV, Bash, CMake, … | ||
2 |
|
9 mins | 9 mins | OCaml, YAML, Makefile, Coq, gitrebase, Git, gitignore, conf | hireable | 🇺🇸 |
3 |
|
0 secs | 0 secs | Python, HTML, CSV, JSON, YAML, Bash, Lean, TOML, Coq, … | 🇺🇸 |