Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 129–144 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0190_vericoded.lean

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

Summary: Benchmark - LA0189_vericoded.lean

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

Summary: Benchmark - LA0185_vericoded.lean

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

Summary: Benchmark - LA0182_vericoded.lean

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

Summary: Benchmark - LA0178_vericoded.lean

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

Summary: Benchmark - LA0177_vericoded.lean

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

Summary: Benchmark - LA0176_vericoded.lean

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

Summary: Benchmark - LA0167_vericoded.lean

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

Summary: Benchmark - LA0161_vericoded.lean

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

Summary: Benchmark - LA0160_vericoded.lean

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

Summary: Benchmark - LA0159_vericoded.lean

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

Summary: Benchmark - LA0156_vericoded.lean

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

Summary: Benchmark - LA0155_vericoded.lean

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

Summary: Benchmark - LA0152_vericoded.lean

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

Summary: Benchmark - LA0147_vericoded.lean

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

Summary: Benchmark - LA0146_vericoded.lean

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