Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 113–128 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0222_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3450
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0218_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3449
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0217_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3448
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0216_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3447
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0212_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3446
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0211_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3445
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0210_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3444
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0208_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3443
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0206_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3442
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0203_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3441
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0201_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3440
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0200_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3439
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0199_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3438
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0198_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3437
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0196_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3436
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0194_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3435