Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 305–311 of 311
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0244_vericoded.lean

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

Summary: Benchmark - DA0078_vericoded.dfy

@5tingerror 41 lines Jun 8, 2026 ID: 3334
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0043_vericoded.dfy

@5tingerror 135 lines Jun 8, 2026 ID: 3303
Rust
View
Verus Verified ✓

Summary: Benchmark - VA0188_vericoded.rs

@5tingerror 11 lines Jun 8, 2026 ID: 3516
Rust
View
Verus Verified ✓

Summary: Benchmark - VA0079_vericoded.rs

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

Summary: Benchmark - DA0111_vericoded.dfy

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

Summary: Benchmark - DA0072_vericoded.dfy

@5tingerror 39 lines Jun 8, 2026 ID: 3329