| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
15 hrs 18 mins | 2 hrs 11 mins | Coq, Lean, Python, Org, Go, JavaScript, Shell, TeX, JSON, … | 🇺🇸 | |
| 2 |
 @definfo
|
3 hrs | 25 mins | Nix, Markdown, Rust, Coq, Python, Gradle Kotlin DSL, Groovy, Makefile, Text, … | 🇨🇳 | |
| 3 |
 Anonymous User
|
2 hrs 39 mins | 26 mins | TeX, Coq, Markdown, Text, C++, C, Python | ||
| 4 |
 Jelly Terra
|
4 mins | 0 secs | Scala, Bluespec, Rust, Coq, Markdown, GitIgnore file, C++ | 🇨🇳 |
