Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
20 mins | 4 mins | Rust, Markdown, Astro, Python, Lean 4, TypeScript, SSH Config, Text, Scala, … | 🇨🇳 | |
2 |
|
13 mins | 6 mins | Lean 4 | hireable | 🇨🇳 |