Something went wrong. Try again.
Verify Gleam functions in Lean 4.
Something went wrong. Try again.
- Languages
- 2
- Total size
- 282 kB
- Primary language
- Rust
Rust: 97%, 275 kB
Nix: 3%, 7.2 kB
| Language | Size | Share |
|---|---|---|
| Rust | 275 kB | 97% |
| Nix | 7.2 kB | 3% |
| Language | Size | Share |
|---|---|---|
| Rust | 275 kB | 97% |
| Nix | 7.2 kB | 3% |