Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 145–160 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0140_vericoded.lean

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

Summary: Benchmark - LA0137_vericoded.lean

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

Summary: Benchmark - LA0136_vericoded.lean

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

Summary: Benchmark - LA0133_vericoded.lean

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

Summary: Benchmark - LA0132_vericoded.lean

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

Summary: Benchmark - LA0129_vericoded.lean

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

Summary: Benchmark - LA0126_vericoded.lean

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

Summary: Benchmark - LA0125_vericoded.lean

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

Summary: Benchmark - LA0120_vericoded.lean

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

Summary: Benchmark - LA0119_vericoded.lean

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

Summary: Benchmark - LA0115_vericoded.lean

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

Summary: Benchmark - LA0114_vericoded.lean

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

Summary: Benchmark - LA0113_vericoded.lean

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

Summary: Benchmark - LA0110_vericoded.lean

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

Summary: Benchmark - LA0109_vericoded.lean

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

Summary: Benchmark - LA0107_vericoded.lean

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