Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 161–176 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0102_vericoded.lean

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

Summary: Benchmark - LA0101_vericoded.lean

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

Summary: Benchmark - LA0099_vericoded.lean

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

Summary: Benchmark - LA0093_vericoded.lean

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

Summary: Benchmark - LA0089_vericoded.lean

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

Summary: Benchmark - LA0085_vericoded.lean

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

Summary: Benchmark - LA0084_vericoded.lean

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

Summary: Benchmark - LA0083_vericoded.lean

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

Summary: Benchmark - LA0082_vericoded.lean

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

Summary: Benchmark - LA0079_vericoded.lean

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

Summary: Benchmark - LA0078_vericoded.lean

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

Summary: Benchmark - LA0074_vericoded.lean

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

Summary: Benchmark - LA0073_vericoded.lean

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

Summary: Benchmark - LA0072_vericoded.lean

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

Summary: Benchmark - LA0070_vericoded.lean

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

Summary: Benchmark - LA0068_vericoded.lean

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