| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
17 hrs 26 mins | 2 hrs 29 mins | Python, Coq, Text, Lean4, Bash, Markdown, JSON, Docker, Git Config, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
3 hrs 39 mins | 36 mins | Coq, Makefile, C, HTML, TeX, Markdown | ||
| 3 |
 @definfo
|
4 mins | 0 secs | Typst, Nix, C++, Markdown, C, YAML, Meson, CMake, Rust, … | 🇨🇳 |
