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