Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

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

Summary: Benchmark - LA0146_vericoded.lean

@5tingerror 15 lines Jun 8, 2026 ID: 3419
Rust
View
Verus Verified ✓

Summary: Benchmark - VA0170_vericoded.rs

@5tingerror 11 lines Jun 8, 2026 ID: 3511
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0008_vericoded.dfy

@5tingerror 61 lines Jun 8, 2026 ID: 3259
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0034_vericoded.dfy

@5tingerror 105 lines Jun 8, 2026 ID: 3294
Rust
View
Verus Verified ✓

Summary: Benchmark - VA0266_vericoded.rs

@5tingerror 11 lines Jun 8, 2026 ID: 3537
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0062_vericoded.dfy

@5tingerror 370 lines Jun 8, 2026 ID: 3320
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0029_vericoded.dfy

@5tingerror 179 lines Jun 8, 2026 ID: 3288
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0092_vericoded.dfy

@5tingerror 135 lines Jun 8, 2026 ID: 3346
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0199_vericoded.lean

@5tingerror 15 lines Jun 8, 2026 ID: 3438
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0056_vericoded.dfy

@5tingerror 75 lines Jun 8, 2026 ID: 3315
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0111_vericoded.dfy

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

Summary: Benchmark - LA0227_vericoded.lean

@5tingerror 15 lines Jun 8, 2026 ID: 3452
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0072_vericoded.dfy

@5tingerror 39 lines Jun 8, 2026 ID: 3329
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0065_vericoded.lean

@5tingerror 15 lines Jun 8, 2026 ID: 3386
Rust
View
Verus Verified ✓

Summary: Benchmark - VA0059_vericoded.rs

@5tingerror 11 lines Jun 8, 2026 ID: 3478
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0105_vericoded.dfy

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