Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | Jason Gross | 1 hr 7 mins | 9 mins | Python, Bash, Coq, YAML, Makefile, Text, Lean, Markdown | 🇺🇸 | |
2 | Anonymous User | 34 mins | 4 mins | Rust, TeX, C++, Coq, CSV, Makefile, Python, BST | ||
3 | Francisco Santos | 4 mins | 0 secs | Rust, OCaml, Nix, Java, Lua, Org, Coq, TOML, lisp | hireable | 🇵🇹 |
4 | Yishuai Li | 0 secs | 0 secs | Go, Java, YAML, Docker, Makefile, TeX, zsh, Coq | hireable | 🇺🇸 |