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