Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 177–192 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0065_vericoded.lean

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

Summary: Benchmark - LA0063_vericoded.lean

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

Summary: Benchmark - LA0060_vericoded.lean

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

Summary: Benchmark - LA0059_vericoded.lean

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

Summary: Benchmark - LA0056_vericoded.lean

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

Summary: Benchmark - LA0054_vericoded.lean

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

Summary: Benchmark - LA0050_vericoded.lean

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

Summary: Benchmark - LA0049_vericoded.lean

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

Summary: Benchmark - LA0048_vericoded.lean

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

Summary: Benchmark - LA0046_vericoded.lean

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

Summary: Benchmark - LA0044_vericoded.lean

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

Summary: Benchmark - LA0041_vericoded.lean

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

Summary: Benchmark - LA0040_vericoded.lean

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

Summary: Benchmark - LA0039_vericoded.lean

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

Summary: Benchmark - LA0036_vericoded.lean

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

Summary: Benchmark - LA0034_vericoded.lean

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