Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 193–208 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0033_vericoded.lean

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

Summary: Benchmark - LA0030_vericoded.lean

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

Summary: Benchmark - LA0026_vericoded.lean

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

Summary: Benchmark - LA0019_vericoded.lean

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

Summary: Benchmark - LA0018_vericoded.lean

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

Summary: Benchmark - LA0017_vericoded.lean

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

Summary: Benchmark - LA0012_vericoded.lean

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

Summary: Benchmark - LA0003_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3363
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0113_vericoded.dfy

@5tingerror 68 lines Jun 8, 2026 ID: 3362
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0112_vericoded.dfy

@5tingerror 133 lines Jun 8, 2026 ID: 3361
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0111_vericoded.dfy

@5tingerror 74 lines Jun 8, 2026 ID: 3360
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0110_vericoded.dfy

@5tingerror 46 lines Jun 8, 2026 ID: 3359
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0108_vericoded.dfy

@5tingerror 59 lines Jun 8, 2026 ID: 3358
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0107_vericoded.dfy

@5tingerror 77 lines Jun 8, 2026 ID: 3357
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0106_vericoded.dfy

@5tingerror 227 lines Jun 8, 2026 ID: 3356
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0105_vericoded.dfy

@5tingerror 49 lines Jun 8, 2026 ID: 3355